From 5e5f9111df82a2f84f2b560ab59392cf0e0906c0 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 1 Apr 2017 14:51:15 +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 | 32 +++++++++++------------- 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, 27 insertions(+), 29 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 19ff2c74b..9eb67ddcb 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:32 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 7f59f78c8..684cefd20 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -278,6 +278,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 375b85f17..1c27b6f43 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 1da837bc4..2944f7afe 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 229 + 238 characters - 240969 + 249398 nodes - 1182308 + 1213337 propositions theorems - 61 + 63 lemmas - 805 + 838 total - 866 + 901 concepts declared 30 defined - 66 + 70 total - 96 + 100 @@ -379,9 +379,7 @@ rt-computation uncounted context-sensitive rt-computation csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ ) - -
- + csx_cnx_vector csx_csx_vector @@ -391,7 +389,7 @@
csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ ) - csx_cnx csx_cpxs csx_csx + csx_simple csx_simple_theq csx_drops csx_lsubr csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_csx @@ -411,7 +409,7 @@
cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? ) - cpxs_tdeq cpxs_tsts cpxs_tsts_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs + cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs rt-transition @@ -693,9 +691,9 @@
- same top term structure - tsts ( ? ⩳[?,?] ? ) - tsts_simple tsts_tdeq tsts_tsts tsts_simple_vector + head equivalence for terms + theq ( ? ⩳[?,?] ? ) + theq_simple theq_tdeq theq_theq theq_simple_vector @@ -890,6 +888,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 81e0a41f5..e9dce077a 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index cbb92265c..6df8aa869 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index b88d0c039..c1b9f65c1 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index e7e47d2f2..adce2a43c 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index f5476b7d3..c24312a1a 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:30 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index e8c6cefeb..945f3909e 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 341650966..2d31834af 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 4f9677d1c..4e145183e 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:30 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index f1494ed3e..307a1d4d8 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Thu, 16 Mar 2017 20:59:31 +0100
+
Last update: Sat, 01 Apr 2017 16:50:38 +0200
-- 2.39.2