X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-term.xsl;h=4edec396fb75950a5193d263366d717acfe7bb9c;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=083e7290febdac506f61fde4399b1b0eb46cfce4;hpb=03e172581072389796cbc1d3e2d7b16956b95c8a;p=helm.git
diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/lambda-delta/xml/ld-html-term.xsl
index 083e7290f..4edec396f 100644
--- a/helm/software/lambda-delta/xml/ld-html-term.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-term.xsl
@@ -38,33 +38,35 @@
-
+
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
-
-
+
+
+
-