X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_2.ldw.xml;h=2e15785143e0e343a63b249f482f65e398d29332;hb=db4fa4436863ec774b70787659f749542908f227;hp=8da683d99373dd1b4db0e8d93e3ae71790c507d8;hpb=2aa295aa37f8fb274f7b640f7627078d9435cefa;p=helm.git diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml index 8da683d99..2e1578514 100644 --- a/helm/www/lambdadelta/web/home/version_2.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml @@ -11,11 +11,16 @@ The formal specification of λδ version 2 is available in the following formats: - + lambdadelta_2 for Matita 0.99.2 (revised ). Source scripts. - BibTeX entry + + + Background, + Core, + Applications. + Informational pages on the parts of the specification.