X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2Fls2html.xsl;h=0d551db35fe4cb04490eaf8677b5d057ce8a9e51;hb=8aba11dde6f56f81329943a3f4dbff0ee9366552;hp=f0376baa5aa5a313157b0bfd8a906a6078fce3a0;hpb=b2c29f8bef99b45f71bc0c5ee656304094d16113;p=helm.git
diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index f0376baa5..0d551db35 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -114,6 +114,7 @@
+
text.gif
@@ -140,16 +141,35 @@
+
+
+
+
+
+
+
+ >
+
+ Statement
+ Definition
+
+
Body
+ >Proof term
+
+
+
+ Proof tree