X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fversion_1.html;fp=helm%2Fwww%2Flambdadelta%2Fversion_1.html;h=856c396a83c4351315674702472ed99ed469a85f;hb=7f349a4f0175068138a341081d0dd14fd9fe4c4a;hp=9d55641e4f628da2c11f1479b160f787be008a89;hpb=7de928055eb4f717303fa36e287196c6d93cea78;p=helm.git diff --git a/helm/www/lambdadelta/version_1.html b/helm/www/lambdadelta/version_1.html index 9d55641e4..856c396a8 100644 --- a/helm/www/lambdadelta/version_1.html +++ b/helm/www/lambdadelta/version_1.html @@ -31,7 +31,7 @@