<!--***********************************************************************-->
<!-- XSLT version 0.1 of theory sections to HTML: -->
<!-- First draft: May 10 2000, Irene Schena -->
+<!-- November 15 2000, Irene Schena -->
<!--***********************************************************************-->
<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:m="http://www.w3.org/1998/Math/MathML">
-<xsl:include href="annotatedpres.xsl"/>
+<xsl:import href="annotatedpres.xsl"/>
<xsl:template match="SECTION">
<xsl:param name="subsect" select="0"/>