X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=49406f8c4b4b9f562e800efa6479291d2558cf09;hb=f10cfe417b6b8ec1c7ac85c6ecf5fb1b3fdf37db;hp=4a0f0284afa4dccb8f29106192aae1843f14bb1b;hpb=836e4f30514bceb27394604bbfbae31a62723dae;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 4a0f0284a..49406f8c4 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -234,6 +234,6 @@

-
Last update: Mon, 20 Oct 2014 16:17:00 +0200
+
Last update: Wed, 22 Oct 2014 20:00:29 +0200