X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=b2fec951153ebe0d0e552f62b6b675da56a1264e;hb=d48d412796a295256c048256c8f7a843e3406980;hp=d48c03de785f09136188205e128fd41bbb29e62f;hpb=6f1f9e20aa2775d41bba64289fc903e6612baaf3;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index d48c03de7..b2fec9511 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -58,20 +58,20 @@