From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 14 Nov 2003 13:29:49 +0000 (+0000)
Subject: * added references to ccorn stylesheets
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=0a5997d9186d1c81abab57d3212165735af7bc2f

* added references to ccorn stylesheets
---

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 1a66b86dd..56231b2bc 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -39,6 +39,7 @@
 <xsl:include href="html_init.xsl"/>
 <xsl:include href="html_set.xsl"/>
 <xsl:include href="html_reals.xsl"/>
+<xsl:include href="html_ccorns.xsl"/>
 
 <xsl:variable name="showcast" select="0"/>
 
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>