From: Ferruccio Guidi Date: Sat, 26 Oct 2013 17:49:10 +0000 (+0000) Subject: update in basic_2 X-Git-Tag: make_still_working~1062 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9ffbf46176fb5f81768255992e46e69689663d69;p=helm.git update in basic_2 --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 5287cd383..e01344ff4 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Fri, 25 Oct 2013 21:28:43 +0200
+
Last update: Sat, 26 Oct 2013 19:48:51 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index ecdf5dcf2..8229591b4 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Fri, 25 Oct 2013 21:28:42 +0200
+
Last update: Sat, 26 Oct 2013 19:48:51 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index e9bb92bce..c41d2132c 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -165,18 +165,18 @@ files 277 characters - 419408 + 420332 nodes - 1230523 + 1233320 propositions theorems - 88 + 87 lemmas - 854 + 857 total - 942 + 944 concepts @@ -1178,6 +1178,6 @@

-
Last update: Fri, 25 Oct 2013 21:28:43 +0200
+
Last update: Sat, 26 Oct 2013 19:48:51 +0200