X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fheadercontent.xsl;h=a46023db59403204746ebd00dae04f4ab5e1a493;hb=3f40909b16020098d481eb0c8814c56e26865bf1;hp=760010530a7b22c181319849b1b46900993dd015;hpb=da5fe4c75778c9efab036b71d3c936025d20a98c;p=helm.git

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index 760010530..a46023db5 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -37,5 +37,6 @@
 <xsl:include href="set.xsl"/>
 <xsl:include href="reals.xsl"/>
 <xsl:include href="ring.xsl"/>        <!-- FG -->
+<xsl:include href="lambda.xsl"/>
 
 </xsl:stylesheet>