From b70bb756f5e2a48ddcfd27f7605b730348fd3354 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 15 Sep 2016 15:33:29 +0000 Subject: [PATCH] milestone in basic_2! --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 40 ++++++++++++++++++------ helm/www/lambdadelta/documentation.html | 2 +- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 2 +- helm/www/lambdadelta/home.html | 2 +- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/osn.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- 12 files changed, 42 insertions(+), 20 deletions(-) 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"
+