X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_1.ldw.xml;h=06a871caeb92575e71fd4567e7977a6ab2a410bb;hb=db4fa4436863ec774b70787659f749542908f227;hp=4c7542189a526062471de7f6f070f2d6f330ebd5;hpb=2aa295aa37f8fb274f7b640f7627078d9435cefa;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/version_1.ldw.xml b/helm/www/lambdadelta/web/home/version_1.ldw.xml
index 4c7542189..06a871cae 100644
--- a/helm/www/lambdadelta/web/home/version_1.ldw.xml
+++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml
@@ -7,17 +7,16 @@
>
- Formats
+ Formats
The formal specification of λδ version 1
is available in the following formats:
-
+
lambdadelta_1 for Coq 7.3.1
(revised ).
Source scripts.
- BibTeX entry
-
+
lambdadelta_1 for Matita 0.5"
(revised ).
Static HTML pages generated by the HELM rendering engine.
@@ -49,7 +48,7 @@
-
+
lambdadelta_1 for Matita 0.5"
(revised ).