From aeb003ab531d9b9faffd46c47204b564009063cf Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 25 Oct 2017 19:44:59 +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 | 36 +++++++++++++++++------- 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, 38 insertions(+), 22 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 9369a2bc8..5670a819a 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:03 +0200
+
Last update: Wed, 25 Oct 2017 21:44:34 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index a240e6d58..b9f19d92f 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -256,6 +256,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:04 +0200
+
Last update: Wed, 25 Oct 2017 21:44:35 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index f497bf840..6f32577f7 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:03 +0200
+
Last update: Wed, 25 Oct 2017 21:44:34 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index c7b541b8f..4ae950012 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 244 + 265 characters - 255638 + 273408 nodes - 1250056 + 1338125 propositions theorems - 71 + 79 lemmas - 866 + 930 total - 937 + 1009 concepts declared - 31 + 33 defined - 80 + 81 total - 111 + 114 @@ -397,6 +397,22 @@ cpc ( ⦃?,?⦄ ⊢ ? ⬌[?] ? ) cpc_cpc + + rt-computation + uncounted context-sensitive rt-computation + lfpxs ( ⦃?,?⦄ ⊢ ⬈*[?,?] ? ) + lfpxs_length lfpxs_drops lfpxs_fqup lfpxs_lfdeq lfpxs_aaa lfpxs_cpxs lfpxs_lfpxs + + + +
+ + +
+ + cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? ) + cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_lsubr cpxs_aaa cpxs_lfpx cpxs_cnx cpxs_cpxs + rt-transition uncounted rst-transition @@ -948,6 +964,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:05 +0200
+
Last update: Wed, 25 Oct 2017 21:44:35 +0200
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index e8c8296b0..9b4b4ad41 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:04 +0200
+
Last update: Wed, 25 Oct 2017 21:44:35 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index a9e056c10..498b0dda1 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:02 +0200
+
Last update: Wed, 25 Oct 2017 21:44:32 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 9187e0d31..b58df3da3 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:03 +0200
+
Last update: Wed, 25 Oct 2017 21:44:34 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 31d201db5..6ce0cb08e 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -881,6 +881,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:04 +0200
+
Last update: Wed, 25 Oct 2017 21:44:34 +0200
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 49abf1245..378a8fa92 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:01 +0200
+
Last update: Wed, 25 Oct 2017 21:44:32 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 2b698288a..b2ddbbea2 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:02 +0200
+
Last update: Wed, 25 Oct 2017 21:44:33 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index bb7a4a37c..498f6487e 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:01 +0200
+
Last update: Wed, 25 Oct 2017 21:44:32 +0200
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index a36146d24..e1cd36152 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:02 +0200
+
Last update: Wed, 25 Oct 2017 21:44:33 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 3f84b6ad4..1f8feb9e9 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Wed, 25 Oct 2017 16:56:03 +0200
+
Last update: Wed, 25 Oct 2017 21:44:33 +0200
-- 2.39.2