]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web.xsl
EBNF definition of OSN begins ...
[helm.git] / helm / www / lambdadelta / xslt / ld_web.xsl
index c5dc6b449ef19de68fcec38a7a94c27752e37688..61c64b8fb0b34a8b939f52524377fb1d560eb313 100644 (file)
@@ -10,6 +10,7 @@
 <xsl:strip-space elements="*"/>
 
 <xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_ebnf.xsl"/>
 <xsl:include href="ld_web_library.xsl"/>
 <xsl:include href="ld_web_root.xsl"/>