X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fspecification.ldw.xml;h=b88abf3a1c36290debcf6592226ffdc5ec4156b5;hb=f72807cb8834aa8991919e365b57d553e3674908;hp=857516bcd66077257ddb2fd5fe583d968e714724;hpb=02beb8c7e6af00355866b7698ce1eb1f6a03c79b;p=helm.git diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 857516bcd..b88abf3a1 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -55,9 +55,10 @@ - lambdadelta_2 for Matita 0.99.2 + lambdadelta_2A1 for Matita 0.99.2 (revised ). Source scripts. + Documentation (R2c). The scripts are grouped in directories, first by part, then by component. @@ -90,6 +91,7 @@ lambdadelta_1 for Coq 7.3.1 (revised ). Source scripts. + Documentation (J1a). 17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".