- λδ version 3 (proposed)
+ λδ version 3 (proposed)X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=cb7ba472e56ca4520a92d1a664ff84dbad9f1f17;hb=d055e3276446167c8f903e9292aeabb4334947d4;hp=ec0d85773faf619b0cfd0c8ab78f9c5a66d81c9a;hpb=503426723b9fc786c69dc988d38726997ecb809a;p=helm.git diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index ec0d85773..cb7ba472e 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -31,7 +31,7 @@