X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=1e1fa23b9d2e5910e5074d4c68a50c525032755c;hb=7c3dc0455368fe74858226ab6cf3c19f68d0e2a7;hp=fac42f16c465e837a89e58efe7d8bd9c39c7a6ae;hpb=ffc3e681a82dc32269cc87407a95db6c922d3bfb;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index fac42f16c..1e1fa23b9 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -31,7 +31,7 @@