X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=303c659d6bd6d86314ebacfbf85360fdd6345e08;hp=330da7a24d6e6806e353ed10840b27f4ce6fc603;hpb=ef35bce6975cc94557ecdce77a2d7fb4dd8adb4c;p=helm.git
diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 330da7a24..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -22,7 +22,7 @@
-
+
@@ -233,10 +233,15 @@
+
+
+
+
+
@@ -247,6 +252,13 @@
+
+
+
+
+
+
+
@@ -343,22 +355,40 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
-
-
-
+
+
+
@@ -914,7 +944,7 @@
-
+
*
@@ -927,10 +957,10 @@
-
+
@@ -1128,7 +1158,10 @@
+
+