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=67e1accfbe2189c9776317d4566a483c1c3a6311;hpb=aa87f28d3a96456e7cec9493c6533e5c146812e8;p=helm.git
diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index 67e1accfb..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -20,6 +20,17 @@
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -90,7 +101,7 @@
-
+
@@ -104,7 +115,7 @@
-
+
@@ -222,10 +233,15 @@
+
+
+
+
+
@@ -236,6 +252,13 @@
+
+
+
+
+
+
+
@@ -332,22 +355,40 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
-
-
-
+
+
+
@@ -408,7 +449,7 @@
-
@@ -903,7 +944,7 @@
-
+
*
@@ -916,10 +957,10 @@
-
+
@@ -1117,7 +1158,10 @@
+
+
@@ -1955,3 +1999,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+