X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=6dce30b65a73b02bf009013469380fd523eb18a0;hb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;hp=c33176a71062d927c20066ff999082773f5fe26c;hpb=e6c462476daa856b7261dbb33734bda1c4846b66;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index c33176a71..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,52 +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)
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1712,7 +1732,12 @@ which generates the toplevel element (see for instance xlink) -->
-
+
+
+
+
+
+