From 23fa9e70972efb0a805a4fecf6c91103f42408f2 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 25 Oct 2017 13:23:57 +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 | 68 ++++++++++++++++++++---- helm/www/lambdadelta/core.html | 2 +- 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 +- 13 files changed, 69 insertions(+), 23 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 0fce455b2..003567a0a 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:02 +0200
+
Last update: Wed, 25 Oct 2017 15:23:22 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 9fec51d2a..36e10d536 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -251,6 +251,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:03 +0200
+
Last update: Wed, 25 Oct 2017 15:23:23 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 12f13e407..8da18471b 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:02 +0200
+
Last update: Wed, 25 Oct 2017 15:23:22 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index c301a2d39..2a1e5122c 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 229 + 244 characters - 234579 + 255638 nodes - 1140037 + 1250056 propositions theorems - 62 + 71 lemmas - 814 + 866 total - 876 + 937 concepts declared 31 defined - 79 + 80 total - 110 + 111 @@ -391,8 +391,54 @@
+ + rt-conversion + context-sensitive r-conversion + cpc ( ⦃?,?⦄ ⊢ ? ⬌[?] ? ) + cpc_cpc + rt-transition + t-bound context-sensitive rt-transition + lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? ) + lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr + + + +
+ + +
+ + cpr_ext ( ⦃?,?⦄ ⊢ ? ➡[?] ? ) + +
+ + + + +
+ + +
+ + cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? ) + cpr_drops + + + +
+ + +
+ + cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? ) + cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx + + + +
+ uncounted context-sensitive rt-transition cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ ) cnx_simple cnx_drops cnx_cnx @@ -405,7 +451,7 @@
lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? ) - lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx + lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_cpx lfpx_lfpx @@ -654,7 +700,7 @@
degree-based equivalence - tdeq_ext ( ? ≡[?,?] ? ) + tdeq_ext ( ? ≡[?,?] ? ) ( ? ⊢ ? ≡[?,?] ? )
@@ -884,6 +930,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:04 +0200
+
Last update: Wed, 25 Oct 2017 15:23:24 +0200
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 89dbc10ce..81a935ac3 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:03 +0200
+
Last update: Wed, 25 Oct 2017 15:23:23 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 59b27187f..be18b0d95 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:01 +0200
+
Last update: Wed, 25 Oct 2017 15:23:20 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index f889e6bd4..6fedef279 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:02 +0200
+
Last update: Wed, 25 Oct 2017 15:23:22 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 8a22ab925..b0c18b25c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -881,6 +881,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:03 +0200
+
Last update: Wed, 25 Oct 2017 15:23:23 +0200
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 66b3c6d22..b4b0871c8 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:01 +0200
+
Last update: Wed, 25 Oct 2017 15:23:20 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 2e4b1351b..e14178435 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:01 +0200
+
Last update: Wed, 25 Oct 2017 15:23:21 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 8e49df35f..700c80869 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:00 +0200
+
Last update: Wed, 25 Oct 2017 15:23:20 +0200
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index d786eafef..8e5bc9abb 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:02 +0200
+
Last update: Wed, 25 Oct 2017 15:23:21 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 68fd14935..a3e46bcba 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Mon, 23 Oct 2017 19:19:02 +0200
+
Last update: Wed, 25 Oct 2017 15:23:21 +0200
-- 2.39.2