X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=29d132244b797aaaa79319d81e0be4edf05ba7ae;hp=210ab768bb8fff5d3c4a44265969587bd1014197;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index 210ab768b..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -9,33 +9,50 @@
+
-
-
+
@@ -44,11 +61,25 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+