X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=e5218996f8e362497548f1df7f8acb5b337263e0;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=669d0f08fa781e03728001191dae5b3e67ef0ad8;hpb=25577a78cccba09974c91fcbfea770091a413382;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 669d0f08f..e5218996f 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -288,6 +288,6 @@

-
Last update: Tue, 28 Oct 2014 17:45:56 +0100
+
Last update: Tue, 04 Nov 2014 16:28:52 +0100