X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=0414f5fd05bba95280224a49f1cc8a12050b09a0;hb=f51ead46bde4e49bbaf4925dea9f9e9bfaecb255;hp=d0cde1b49ada87517c371dbd35f2742e145ab970;hpb=614542345e3e9c88722fdbc32c24a14b9a6c71d1;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index d0cde1b49..0414f5fd0 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Mon, 16 Jan 2017 12:25:24 +0100
+
Last update: Sun, 19 Feb 2017 19:57:18 +0100