X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fheadercontent.xsl;h=f60883079833af8b4b04ce54e95c7a77b659aee0;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=a46023db59403204746ebd00dae04f4ab5e1a493;hpb=03d580b649e5e3cfdb1df8640ffc66c1915695c2;p=helm.git

diff --git a/helm/style/headercontent.xsl b/helm/style/headercontent.xsl
index a46023db5..f60883079 100644
--- a/helm/style/headercontent.xsl
+++ b/helm/style/headercontent.xsl
@@ -37,6 +37,7 @@
 <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>