From: Ferruccio Guidi Date: Thu, 15 Sep 2016 15:33:29 +0000 (+0000) Subject: milestone in basic_2! X-Git-Tag: make_still_working~537 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b70bb756f5e2a48ddcfd27f7605b730348fd3354;p=helm.git milestone in basic_2! --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index f175c9c05..8ae724915 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Tue, 13 Sep 2016 21:24:58 +0200
+
Last update: Thu, 15 Sep 2016 17:33:01 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 3f3a4c535..15f0969e8 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Tue, 13 Sep 2016 21:24:59 +0200
+
Last update: Thu, 15 Sep 2016 17:33:01 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 5093a728d..59521abe2 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Tue, 13 Sep 2016 21:24:58 +0200
+
Last update: Thu, 15 Sep 2016 17:33:00 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index b9ad22394..45e0d3735 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 160 + 166 characters - 140971 + 157412 nodes - 733531 + 818407 propositions theorems - 45 + 47 lemmas - 518 + 556 total - 563 + 603 concepts declared 23 defined - 38 + 40 total - 61 + 63 @@ -180,6 +180,12 @@
Stage "A2": "Extending the Applicability Condition"
+