X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=6ab6ffe1fcfbc51f201b94adcee89a14ff22d278;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=6e766e3528c6ecf705b849896e854901a839d1c4;hpb=1f0d6e8932f4200a6b1956995225211df2a271a8;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 6e766e352..6ab6ffe1f 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -181,11 +181,54 @@ which generates the toplevel element (see for instance xlink) -->
-
+
__
+
+
+
+
+
+
+
+
+
+ _
+
+
+ :
+
+
+
+
+
+
+
+
+
+
+ _
+
+
+ :=
+
+
+
+
+
+ _
+ :?
+ _
+
+
+
+
+ ;
+
+
+ |-
?
- :
-
+ :
+
@@ -372,12 +415,16 @@ which generates the toplevel element (see for instance xlink) -->
solid
+
+ ?
+ :
+ _
-
+
@@ -470,6 +517,15 @@ which generates the toplevel element (see for instance xlink) -->
+
+
+
+
+
+
+
+
+