X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fmmlextension.xsl;h=6dce30b65a73b02bf009013469380fd523eb18a0;hb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;hp=049398f9a9539c1d1492d252ad507cd49897e2c2;hpb=3d585511751044f308125da7a71d70e29cc6ca60;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 049398f9a..6dce30b65 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -414,6 +414,7 @@ which generates the toplevel element (see for instance xlink) -->
+
@@ -987,58 +988,71 @@ which generates the toplevel element (see for instance xlink) -->
-
-
-
+
+
+
+
+
+
+
+ We can prove
+ _
+
+
+ _
+ (explain)
+
+
+
+
+
+
+
+
+
- We can prove
+
+
+
+
+
+
+
+ we proved
_
- _
- (explain)
+
+ _
+
+
+ (hide details)
+
-
-
-
-
-
-
-
-
-
-
-
-
-
- we proved
- _
-
-
-
- _
-
-
- (hide details)
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1536,8 +1550,8 @@ which generates the toplevel element (see for instance xlink) -->
[
-
-
+
+
←
]
@@ -1546,8 +1560,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
↑
@@ -1561,8 +1575,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
↑
@@ -1578,8 +1592,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
→
β
@@ -1590,8 +1604,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
→
β
*
@@ -1603,8 +1617,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
⇒
β
@@ -1615,8 +1629,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
⇒
β
*
@@ -1626,8 +1640,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
@@ -1636,16 +1650,16 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
≅
-
-
+
+