]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/headercontent.xsl
* added references to ccorn stylesheets
[helm.git] / helm / style / headercontent.xsl
index 372bcfccb24db6c3cf60b0a533ef58dca9180061..add3247b38f54625cf838f4a40e511792bb6ad3e 100644 (file)
@@ -42,5 +42,6 @@
 <xsl:include href="algebra.xsl"/> 
 <xsl:include href="lambda.xsl"/>
 <xsl:include href="positive.xsl"/>
+<xsl:include href="ccorn.xsl"/>
 
 </xsl:stylesheet>