X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fheadercontent.xsl;fp=helm%2Fstyle%2Fheadercontent.xsl;h=add3247b38f54625cf838f4a40e511792bb6ad3e;hb=0a5997d9186d1c81abab57d3212165735af7bc2f;hp=372bcfccb24db6c3cf60b0a533ef58dca9180061;hpb=57b2b50f5b24fd95f4904b5c44b85a678e51b9c7;p=helm.git

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index 372bcfccb..add3247b3 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -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>