X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=62c88e078fe6d67b81fb0b8d9bcf19fb8d930dda;hb=04db412ba860d960ff486b37cc68e7f6e4f19c98;hp=bc0292ff7fb7f8134846b7d201e5088744ec4b4b;hpb=ce56bfc29034be5add28ef28007f2598d9030ad2;p=helm.git

diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index bc0292ff7..62c88e078 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -33,13 +33,13 @@
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
                               xmlns:helm="http://www.cs.unibo.it/helm">
 
+<xsl:import href="objcontent.xsl"/>
+<xsl:include href="headercontent.xsl"/>
+
 <xsl:param name="type" select="'standalone'"/>
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
 <xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
 
-<xsl:import href="objcontent.xsl"/>
-<xsl:include href="headercontent.xsl"/>
-
 <!-- CIC DEFINITION -->
 
 <xsl:template match="Definition">