X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=8100642108138aec675bfd7613814157a6306fec;hb=644307df315b855c3851f813b04d562acf2db9bc;hp=32705c284b36b661d67a99a526fe366af330c3ff;hpb=7f349a4f0175068138a341081d0dd14fd9fe4c4a;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 32705c284..810064210 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@

-
Last update: Sun, 20 Jul 2014 11:29:55 +0200
+
Last update: Sun, 20 Jul 2014 15:02:32 +0200