Initial revision

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

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index d2e5b278ed33fbf733cc727c38e1dd3e22e56121..f60883079833af8b4b04ce54e95c7a77b659aee0 100644 (file)
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -36,5 +36,8 @@
 <xsl:include href="arith.xsl"/>        <!-- FG -->
 <xsl:include href="set.xsl"/>
 <xsl:include href="reals.xsl"/>
+<xsl:include href="ring.xsl"/>        <!-- FG -->
+<xsl:include href="algebra.xsl"/> 
+<xsl:include href="lambda.xsl"/>
 
 </xsl:stylesheet>