X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_2.ldw.xml;h=88abedf812915ada5a006b560996f34c227180f3;hb=bb1a03359dfaea6031592d28b9bfb15d797c44e5;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..88abedf81 100644 --- a/helm/www/lambdadelta/web/home/version_2.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml @@ -8,16 +8,24 @@ Formats + The formal specification of Î»Î´ version 2 is available in the following formats: - - lambdadelta_2 for Matita 0.99.2 - (revised ). - Source scripts. - BibTeX entry - + + lambdadelta_2 for Matita 0.99.2 + (revised ). + Source scripts. + + + + Background, + Core, + Applications. + Informational pages on the parts of the specification. + +