From 6d49221c1fefe6a2c5bddb3db24d3698414a700f Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 13 Nov 2017 17:11:36 +0000 Subject: [PATCH] update in basic_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 6 ++--- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 28 ++++++++++++++++-------- 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 | 4 ++-- 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, 34 insertions(+), 24 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index c59dd2903..b6c673da5 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:51 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 39b8776ca..2d2f2a75a 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -158,9 +158,9 @@ sizes files - 2 + 1 characters - 594 + 377 nodes 779 @@ -256,6 +256,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:52 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 9ebf0c523..e98378983 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:51 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 833fdb2bb..24fd78c35 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 286 + 291 characters - 298298 + 303444 nodes - 1405805 + 1423927 propositions theorems - 83 + 85 lemmas - 1012 + 1024 total - 1095 + 1109 concepts declared - 33 + 34 defined 84 total - 117 + 118 @@ -400,6 +400,16 @@ rt-computation uncounted context-sensitive rt-computation + lsubsx ( ? ⊢ ? ⊆ⓧ[?,?,?] ? ) + lsubsx_lfsx lsubsx_lsubsx + + + +
+ + +
+ lfsx ( ? ⊢ ⬈*[?,?,?] 𝐒⦃?⦄ ) lfsx_drops lfsx_fqup lfsx_lfpxs lfsx_lfsx @@ -994,6 +1004,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:53 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index e53f5e2e7..d081e92e5 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:52 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 99a3b8af8..02d43b916 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:50 +0100
+
Last update: Mon, 13 Nov 2017 18:11:07 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index c20eea587..5468da608 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:51 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 584c3f619..c6e8e1e90 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -136,7 +136,7 @@ characters 143239 nodes - 332314 + 332273 propositions @@ -881,6 +881,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:52 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index e05022ceb..10d78792f 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:49 +0100
+
Last update: Mon, 13 Nov 2017 18:11:07 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 59c55db4e..a7671b14b 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:50 +0100
+
Last update: Mon, 13 Nov 2017 18:11:08 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index ec622bcca..cd71c9ea7 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:49 +0100
+
Last update: Mon, 13 Nov 2017 18:11:07 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index 614e5a168..7711321df 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:50 +0100
+
Last update: Mon, 13 Nov 2017 18:11:07 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 4bccd39c1..fa657e3aa 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Thu, 09 Nov 2017 17:07:51 +0100
+
Last update: Mon, 13 Nov 2017 18:11:07 +0100
-- 2.39.2