From: Ferruccio Guidi Date: Sun, 27 Mar 2016 16:43:13 +0000 (+0000) Subject: update in basic_2 and apps_2 ... X-Git-Tag: make_still_working~621 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=560e9f41516968588e97bb6ff2049f85a425ac0a;p=helm.git update in basic_2 and apps_2 ... --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 2756b021e..8202086a4 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 10 Dec 2015 16:13:46 +0100
+
Last update: Sun, 27 Mar 2016 18:42:30 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index e6a410d40..35fdff6e8 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -152,29 +152,29 @@ sizes files - 4 + 1 characters - 68581 + 217 nodes - 3637 + 0 propositions theorems - 2 + 0 lemmas - 1 + 0 total - 3 + 0 concepts declared - 3 + 0 defined - 9 + 0 total - 12 + 0 @@ -258,6 +258,6 @@

-
Last update: Thu, 10 Dec 2015 16:13:46 +0100
+
Last update: Sun, 27 Mar 2016 18:42:29 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 9e83dd9e2..789062b5c 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Fri, 04 Mar 2016 16:15:59 +0100
+
Last update: Sun, 27 Mar 2016 18:42:29 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 1b36b571e..4003948a1 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 360 + 83 characters - 437272 + 55955 nodes - 1935835 + 191279 propositions theorems - 130 + 33 lemmas - 1303 + 211 total - 1433 + 244 concepts declared - 54 + 15 defined - 89 + 23 total - 143 + 38 @@ -179,11 +179,24 @@ for native type assignment. -
Stage "A": "Extending the Applicability Condition"
+
Stage "A2": "Extending the Applicability Condition"
+ +
Stage "A1": "Extending the Applicability Condition"
+