X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_1.html;h=e36617355196a501d1a67e53de29e772f64aa84c;hb=98d4ee8a0212abae10cee962f7f81f658b70f611;hp=768502a4da75953816c1c3bbaf494ae35ac299ae;hpb=6d1c6a2cfdd1909647db5648b9cd059c61b19b40;p=helm.git diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 768502a4d..e36617355 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@