X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fheadercontent.xsl;h=a46023db59403204746ebd00dae04f4ab5e1a493;hb=7527c24dcf7e7e59a8bc54fb99204a83bd25d083;hp=d2e5b278ed33fbf733cc727c38e1dd3e22e56121;hpb=27a8462e4a037bad438c373fcfb73411f2cc91fc;p=helm.git

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index d2e5b278e..a46023db5 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -36,5 +36,7 @@
 <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="lambda.xsl"/>
 
 </xsl:stylesheet>