X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=f00ca8e1a767ad574c21dacc0b23716b23c9d0b5;hb=f8bf3abd773864388fef5efe599ac77f292a6b9d;hp=5e4cb7ef6b0108dfb9f9afc299d7e9ad2d10f16a;hpb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 5e4cb7ef6..f00ca8e1a 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -59,29 +59,29 @@