Modified Files:

[helm.git] / helm / style / theory_pres.xsl

diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl
index 9a96cdc03cea183213b832bafe54da65d6e9d2ff..f8ade2a8222745dec2b1c099bc062b3ab9b905cb 100644 (file)
--- a/helm/style/theory_pres.xsl
+++ b/helm/style/theory_pres.xsl
@@ -3,12 +3,13 @@
 <!--***********************************************************************--> 
 <!-- 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"/>