X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=598ae85dc37fe5f365f79b8b27392314a761e6b6;hb=560e9f41516968588e97bb6ff2049f85a425ac0a;hp=b6e10865c94f9bb4ecabe6c6b11a1dff7ed4a83f;hpb=d3636c8688ec08cc39eb7ce6c1918b25bbccc349;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index b6e10865c..598ae85dc 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@