X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_pres.xsl;fp=helm%2Fstyle%2Ftheory_pres.xsl;h=f8ade2a8222745dec2b1c099bc062b3ab9b905cb;hb=ef35bce6975cc94557ecdce77a2d7fb4dd8adb4c;hp=9a96cdc03cea183213b832bafe54da65d6e9d2ff;hpb=d9b8d61ec58c992aa116db6bdd4175a4a9e6c56b;p=helm.git

diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl
index 9a96cdc03..f8ade2a82 100644
--- 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"/>