X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fmmlctop2_0.xsl;h=554c3a87be33d72027f1d591ea536d82a7a0e336;hb=b216b5a2df4e4218ee2e148cf5e8f11c4d4dbb1b;hp=0a0e454d99d4b7e615c26d5e5a1ed4543f5e3763;hpb=c8c75f895d51cfbc257260859653a68f74117179;p=helm.git
diff --git a/helm/style/mmlctop2_0.xsl b/helm/style/mmlctop2_0.xsl
index 0a0e454d9..554c3a87b 100644
--- a/helm/style/mmlctop2_0.xsl
+++ b/helm/style/mmlctop2_0.xsl
@@ -21,10 +21,12 @@
-
+
+
+
@@ -38,6 +40,7 @@
@@ -182,7 +185,7 @@ LINEAR ALGEBRA
-
+