X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=379c28ce3622fc1fdaed55e7f04e19ff9f50b8ce;hb=fe00a22101acb7995f8488a4434c4046bc540af0;hp=9d96b1dbc7dbe93dfedab425ba254f9c3fd138e3;hpb=7dc9dcddc88440527569d2a7216461bcd7398ab2;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 9d96b1dbc..379c28ce3 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -145,29 +145,29 @@ sizes files - 14 + 4 characters - 6787 + 68581 nodes - 10070 + 3637 propositions theorems 2 lemmas - 4 + 1 total - 6 + 3 concepts declared - 6 + 3 defined - 11 + 9 total - 17 + 12 @@ -251,6 +251,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:45 +0100