]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/headercontent.xsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / style / headercontent.xsl
index a46023db59403204746ebd00dae04f4ab5e1a493..f60883079833af8b4b04ce54e95c7a77b659aee0 100644 (file)
@@ -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>