X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=6dce30b65a73b02bf009013469380fd523eb18a0;hb=845ec24db2f3aba5d3a4a991f2604b5b87283119;hp=eb928b41f183b9f8685525b2898a883ed642a766;hpb=5585bda1a144c5453c6ff1a1384176279246ef99;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index eb928b41f..6dce30b65 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -988,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)
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+