X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlctop2_0.xsl;h=554c3a87be33d72027f1d591ea536d82a7a0e336;hb=a61f397a3ea3acaf95a04a2aafbf1d3f223a2755;hp=0a0e454d99d4b7e615c26d5e5a1ed4543f5e3763;hpb=6a1d05b388683befc860b48b4f2bbaf42f58a112;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
-
+