From 0a5997d9186d1c81abab57d3212165735af7bc2f Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 14 Nov 2003 13:29:49 +0000
Subject: [PATCH] * added references to ccorn stylesheets

---
 helm/style/content_to_html.xsl | 1 +
 helm/style/headercontent.xsl   | 1 +
 2 files changed, 2 insertions(+)

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>
-- 
2.39.2