X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=a99a98f23f7c3de1192334a59a6a541608379b9d;hpb=fb890743cf20c64d747647c1082f06edf22f806f;p=helm.git
diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index a99a98f23..0d551db35 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -113,6 +113,8 @@
+
+
text.gif
@@ -134,10 +136,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+ >
+
+ Statement
+ Definition
+
+
+
+
+ Proof term
+
+
+
+ Proof tree
+