X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=580dfeb4a02f2d0d7e2831c1c832b76eca16879e;hb=5712c83e9c25c8cf44812586c31ee823771e95e0;hp=a6435234d6a1e34b0749f9fbfae6779dc9a145af;hpb=3adf21d15f533c901cb82ee8d459d93ac8cf77a5;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index a6435234d..580dfeb4a 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Thu, 16 Feb 2017 12:23:39 +0100
+
Last update: Sun, 19 Feb 2017 16:24:37 +0100