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 @@

-
Last update: Sat, 11 Mar 2017 19:30:41 +0100
+
Last update: Thu, 16 Mar 2017 17:22:18 +0100