]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/drop_coercions.xsl
The code to create a link to the theory automatically generated from the
[helm.git] / helm / style / drop_coercions.xsl
index 688d3974b333c921d4fa657ed8ca13c2389b6805..9731d6601a29df990ecd9413884d5b0a33e74f2c 100644 (file)
@@ -34,7 +34,7 @@
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
+<xsl:include href="getter.xsl"/>
 <xsl:include href="params.xsl"/>
 
 <!-- coercions -->
 
 
 </xsl:stylesheet>
-
-
-
-