From 1330e8b45155fc972bc18c4e5fd69897afa3cbe8 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 2 Mar 2017 16:02:14 +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 | 38 +++++++++++++++--------- 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, 36 insertions(+), 26 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index afa4a4d21..6be8e1b34 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:18 +0100
+
Last update: Thu, 02 Mar 2017 17:01:48 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 0414f5fd0..035253f80 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:18 +0100
+
Last update: Thu, 02 Mar 2017 17:01:48 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 5defb3dcd..40d294b5f 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:18 +0100
+
Last update: Thu, 02 Mar 2017 17:01:47 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index a7e304e3c..c8ab51e51 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 221 + 224 characters - 212835 + 217212 nodes - 1046738 + 1060103 propositions theorems - 49 + 52 lemmas - 693 + 709 total - 742 + 761 concepts declared 29 defined - 62 + 63 total - 91 + 92 @@ -371,6 +371,16 @@ rt-computation uncounted context-sensitive rt-transition + csx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐒⦃?⦄ ) + csx_cnx csx_csx + + + +
+ + +
+ cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )
@@ -378,7 +388,7 @@ rt-transition - parallel qrst-rtransition + parallel qrst-transition fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )
@@ -428,7 +438,7 @@
lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? ) - lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa + lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa @@ -438,7 +448,7 @@
cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? ) - cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfdeq + cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs @@ -452,7 +462,7 @@ static typing generic reducibility lsubc ( ? ⊢ ? ⫃[?] ? ) - lsubc_drop lsubc_drops lsubc_lsubr lsubc_lsuba + lsubc_drops lsubc_lsubr lsubc_lsuba @@ -536,7 +546,7 @@
frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? ) - frees_weight frees_drops frees_fqup frees_frees + frees_drops frees_fqup frees_frees @@ -837,6 +847,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:19 +0100
+
Last update: Thu, 02 Mar 2017 17:01:49 +0100
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 5a5dd67dd..f7ff85bfc 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:19 +0100
+
Last update: Thu, 02 Mar 2017 17:01:48 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 1f443b339..fbb6c6d14 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:16 +0100
+
Last update: Thu, 02 Mar 2017 17:01:46 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 9c352879b..e7831365f 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:17 +0100
+
Last update: Thu, 02 Mar 2017 17:01:47 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index c2313f20f..102dbcfc5 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:18 +0100
+
Last update: Thu, 02 Mar 2017 17:01:48 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 8843b9833..a4b486883 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:16 +0100
+
Last update: Thu, 02 Mar 2017 17:01:46 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index c1be5aca5..9600937c1 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:17 +0100
+
Last update: Thu, 02 Mar 2017 17:01:46 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index eee9fa8b3..03330fc47 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:16 +0100
+
Last update: Thu, 02 Mar 2017 17:01:45 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index ebe886a67..9bd25da84 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:17 +0100
+
Last update: Thu, 02 Mar 2017 17:01:46 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index f947223be..a076be4c6 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Sun, 19 Feb 2017 19:57:17 +0100
+
Last update: Thu, 02 Mar 2017 17:01:47 +0100
-- 2.39.2