X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=fcdbffdea43896903596aa62b5649656280a2351;hb=ffc3e681a82dc32269cc87407a95db6c922d3bfb;hp=d982e384667c2285f263acd2f7e714e81ada3812;hpb=f4e73c50acfc4ed453edd423c9bbe28af5dc9c4c;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index d982e3846..fcdbffdea 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@