X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_1.ldw.xml;h=b51c5d5a8ad71556e41e418d8e161e6de03b062e;hb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;hp=d6d7c93c7b3b179133afa0d6f18842d9873f4691;hpb=bc5516f15988620e9b152c6c741daae4a4c4fb0c;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 d6d7c93c7..b51c5d5a8 100644 --- a/helm/www/lambdadelta/web/home/version_1.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_1.ldw.xml @@ -11,13 +11,13 @@ 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 +49,7 @@ - + lambdadelta_1 for Matita 0.5" (revised ).