X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=eb58a004cb5e9fb50cc91b8f623fd22aedea91fd;hb=3167db4903eea2eddc60a91cfd922be3672ce077;hp=40e52f117f51a64ef2f17df8891ea8a3b7c8e65a;hpb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 40e52f117..eb58a004c 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Sun, 13 Jul 2014 15:47:14 +0200
+
Last update: Sun, 13 Jul 2014 23:25:31 +0200