X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=ed9c217e010c931056d7dbdc4468c21488d611d6;hpb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;p=helm.git
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index ed9c217e0..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -9,25 +9,51 @@
+
-
-
+
+
/
@@ -35,11 +61,25 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+