X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_ebnf.xsl;h=5378a111ebf19bb190525160d26155ca528d65f3;hb=528f8ea107f689d07d060e1d31ba32bf65b4e6ba;hp=5599defa6fcd2e12d21220d19a5b53b45657f700;hpb=6b2413506392a9e62fdd8c560ab40d98ccc4ba08;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl b/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
index 5599defa6..5378a111e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_ebnf.xsl
@@ -13,9 +13,7 @@
- <
- >
@@ -24,28 +22,48 @@
-
+
"
"
-
+
'
'
+
+ #
+
+
+
+
+
+ ,
+
+
+
|
+ |
+
...
+ |
+
+
+
+
+ -
+
@@ -63,8 +81,26 @@
+
+ *
+
+ 1
+
+
+
- +
+ 1
+
+ *
+
+
+
+
+
+
+ *
+
+