* added references to ccorn stylesheets

[helm.git] / helm / style / headercontent.xsl

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index 760010530a7b22c181319849b1b46900993dd015..add3247b38f54625cf838f4a40e511792bb6ad3e 100644 (file)
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -31,11 +31,17 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
-<xsl:include href="contentlib.xsl"/>   <!-- FG -->
+<!-- Warning: the first included stylesheet has the lowest precedence -->
+<xsl:include href="contentlib.xsl"/>
 <xsl:include href="basic.xsl"/>
-<xsl:include href="arith.xsl"/>        <!-- FG -->
+<xsl:include href="arith.xsl"/>
 <xsl:include href="set.xsl"/>
+<xsl:include href="list.xsl"/>
 <xsl:include href="reals.xsl"/>
-<xsl:include href="ring.xsl"/>        <!-- FG -->
+<xsl:include href="ring.xsl"/>
+<xsl:include href="algebra.xsl"/> 
+<xsl:include href="lambda.xsl"/>
+<xsl:include href="positive.xsl"/>
+<xsl:include href="ccorn.xsl"/>
 
 </xsl:stylesheet>