X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=d7f8a683aebae3ec4932296659185f97b5882c23;hp=fd36e25132701af08b6eb6ce7eb788a49287f5e1;hpb=4155c6bda7852f6f2b6b89586cc7b991eb39cf48;p=helm.git
diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index fd36e2513..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,14 +355,14 @@
-
-
+-->
+
@@ -358,22 +370,25 @@
-
+
+
+
+
-
+
-
+
-
+
-
-
-
+
+
+
@@ -929,7 +944,7 @@
-
+
*
@@ -942,10 +957,10 @@
-
+
@@ -1143,7 +1158,10 @@
+
+