X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-entity.xsl;h=676d37722f9fbbd426abf6a26b4ef51b12e73fe9;hb=513c7211bb07abd4c1da842a29c05301890aa73a;hp=689eb14207b9cd1a15f508ac6fdb2f166fb0d28b;hpb=1bcb1921390d24e02d716614648e749bac6f5933;p=helm.git
diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl
index 689eb1420..676d37722 100644
--- a/helm/software/lambda-delta/xml/ld-html-entity.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl
@@ -17,26 +17,45 @@
-
-
+
+
+
- Declaration:
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Declaration
+
-
-
- Definition:
-
-
-
-
-
+
+ Definition
+