From a84e0c2abc802c308f3749e27bb843622534e8d7 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 22 May 2016 13:26:00 +0000 Subject: [PATCH] update 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 | 28 ++++++++++++------------ helm/www/lambdadelta/documentation.html | 2 +- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 18 +++++++-------- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- 11 files changed, 32 insertions(+), 32 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 34a4afa3e..9c0283b45 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:27 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 47d3e3188..076412946 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 2a0caeec0..95170e646 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:27 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index a50882199..cbfde33d8 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 133 + 143 characters - 92667 + 116151 nodes - 334596 + 607262 propositions theorems - 44 + 46 lemmas - 369 + 430 total - 413 + 476 concepts declared - 22 + 23 defined - 32 + 33 total - 54 + 56 @@ -359,7 +359,7 @@ rt-transition uncounted context-sensitive rt-transition - cpx ( ⦃?,?⦄ ⊢ ? ➡[?] ? ) + cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? ) cpx_simple cpx_drops cpx_lsubr
@@ -373,7 +373,7 @@
counted context-sensitive rt-transition - cpg ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? ) + cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? ) cpg_simple cpg_drops cpg_lsubr
@@ -551,7 +551,7 @@ relocation generic slicing for local environments - drops_vector ( ⬇*[?,?] ? ≡ ? ) + drops_vector ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? )
@@ -569,7 +569,7 @@
- drops ( ⬇*[?,?] ? ≡ ? ) + drops ( ⬇*[?,?] ? ≡ ? ) ( ⬇*[?] ? ≡ ? ) drops_lstar drops_weight drops_length drops_ceq drops_lexs drops_lreq drops_drops
@@ -795,6 +795,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:27 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 6b1211cc0..bca651cf1 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -389,6 +389,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index a97822a7f..5e9c1defa 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:27 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index e5d2f0e37..4b32a65f6 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@ files 86 characters - 98269 + 109249 nodes - 207871 + 217872 propositions theorems - 23 + 30 lemmas - 497 + 506 total - 520 + 536 concepts declared - 55 + 59 defined - 57 + 55 total - 112 + 114 @@ -759,6 +759,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:27 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 99992380f..c1593ebc3 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index c6a88f020..36ac7c630 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -283,6 +283,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index f53e74441..6ea5beda9 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index f1c9fb06e..4095590fb 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Sun, 22 May 2016 11:12:18 +0200
+
Last update: Sun, 22 May 2016 15:25:26 +0200
-- 2.39.2