X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fmml2mmlv1_0.xsl;h=c4210dd3cafca81099317ab9e65a6d75f2fbf5af;hb=c1dfb763206c3e548b26d1e5f2128c6938a5df14;hp=c88dd3da2a925c2a5fa8dcfc6582ae2dde583f9c;hpb=fe7df3d309dc0876576773d7c32f91fbc7617d81;p=helm.git
diff --git a/helm/style/mml2mmlv1_0.xsl b/helm/style/mml2mmlv1_0.xsl
index c88dd3da2..c4210dd3c 100644
--- a/helm/style/mml2mmlv1_0.xsl
+++ b/helm/style/mml2mmlv1_0.xsl
@@ -22,7 +22,7 @@
-
+
@@ -370,7 +370,10 @@
-
+
+
+
+
@@ -1155,7 +1158,10 @@
+
+