X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_2.ldw.xml;h=b760295a3b62fa48e2681437c8529aa4f70aaaef;hb=ddd6cb6f4514d9ca97f857cafa218c170222f5aa;hp=4fc844a1d3023f99b0572be70b93d9a8ac880432;hpb=4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2;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 4fc844a1d..b760295a3 100644 --- a/helm/www/lambdadelta/web/home/version_2.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml @@ -8,22 +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 - - - Background, - Core, - Applications. - Informational pages on the parts of the specification. - + + lambdadelta_2 for Matita 0.99.2 + (revised ). + Source scripts. + + + + Background, + Core, + Applications. + Informational pages on the parts of the specification. + +