* added references to ccorn stylesheets

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 1a66b86dd489cf8280e0d4a870afcf4abdec3717..56231b2bcd325b3a1f19b75bd630f114361d11e2 100644 (file)
--- 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 372bcfccb24db6c3cf60b0a533ef58dca9180061..add3247b38f54625cf838f4a40e511792bb6ad3e 100644 (file)
--- 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>