X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmmlextension.xsl;h=6dce30b65a73b02bf009013469380fd523eb18a0;hb=ae326f646ef4c01b43d6da04201b427d1e175400;hp=75c8a745be217d541858131a263a29824fa8f94d;hpb=06699deb3cda1102045062c5e54ac3de11e0c565;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 75c8a745b..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)
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+