X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=e5218996f8e362497548f1df7f8acb5b337263e0;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=0c496b676e9275f24a7fe2a4cd2a68920b6090a1;hpb=b665b25cc0b62aa5bd7e90224fe7a28d15e122f2;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 0c496b676..e5218996f 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -123,7 +123,7 @@