<!--***********************************************************************-->
<!-- XSLT version 0.1 of theory sections to HTML: -->
<!-- First draft: May 10 2000, Irene Schena -->
<!--***********************************************************************-->
<!-- XSLT version 0.1 of theory sections to HTML: -->
<!-- First draft: May 10 2000, Irene Schena -->