X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmmlextension.xsl;h=4a801a65402c244e03bbe273c6a4d7a7ba1709a3;hb=3457dc77edee1d1f683bcabea4eafc9110e757c2;hp=6e766e3528c6ecf705b849896e854901a839d1c4;hpb=1f0d6e8932f4200a6b1956995225211df2a271a8;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 6e766e352..4a801a654 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) -->
+
+
+
+
+
+
+
+
+
@@ -804,7 +860,7 @@ which generates the toplevel element (see for instance xlink) -->
-
+
@@ -854,7 +910,7 @@ which generates the toplevel element (see for instance xlink) -->
_
OF
-
+
|
@@ -1068,7 +1124,9 @@ which generates the toplevel element (see for instance xlink) -->
We can prove
_
-
+
+
+
_
(explain)
@@ -1089,23 +1147,40 @@ which generates the toplevel element (see for instance xlink) -->
+
+
+
+ _
+
+
+ (hide details)
+
+
+
we proved
_
-
-
- _
-
-
- (hide details)
-
-
+
+
+
+
+
+
+
+ that is equivalent to
+ _
+
+
+
+
+
+
@@ -1132,7 +1207,9 @@ which generates the toplevel element (see for instance xlink) -->
We can prove
_
-
+
+
+
_
(explain)
@@ -1153,23 +1230,40 @@ which generates the toplevel element (see for instance xlink) -->
+
+
+
+ _
+
+
+ (hide details)
+
+
+
we proved
_
-
-
- _
-
-
- (hide details)
-
-
+
+
+
+
+
+
+
+ that is equivalent to
+ _
+
+
+
+
+
+
@@ -2044,7 +2138,16 @@ which generates the toplevel element (see for instance xlink) -->
-
+
+
+
+
+
+
+
+
+
+