+
-
+
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=b733264ec4a040d065307567b5b68def504e6dae;hb=2c4b4aaa6f1490346823a26cba5dd965cab0cd02;hp=7f5ada5fd4507a58f1d1793ed569cd74cba67166;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 7f5ada5fd..b733264ec 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -23,7 +23,7 @@