X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=5861c27a3247281905a4146c8fdb382e888da891;hb=6a4711dbb4bec52222e9d0586326ef03b9fbc81b;hp=bc9e69829932872876f13cb3c878797958798e9b;hpb=cbcadc678c098f64e7eac31cb73297558ba37b4a;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index bc9e69829..5861c27a3 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100