From e11ce46390f264e9010157dd36c0b9e71a58ba4b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 3 Nov 2017 18:19:28 +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 | 14 +++++++------- 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, 19 insertions(+), 19 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index b8b81252d..73ba32c00 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:41 +0100
+
Last update: Fri, 03 Nov 2017 19:18:58 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 39ec6cac3..feb4129e1 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -256,6 +256,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:41 +0100
+
Last update: Fri, 03 Nov 2017 19:18:58 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 46d1eacb5..7bc83482b 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:40 +0100
+
Last update: Fri, 03 Nov 2017 19:18:58 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 0aa30e23d..09bf6182c 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,20 +144,20 @@ sizes files - 283 + 285 characters - 291563 + 293132 nodes - 1380256 + 1383578 propositions theorems 82 lemmas - 975 + 982 total - 1057 + 1064 concepts @@ -421,7 +421,7 @@
csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ ) - csx_simple csx_simple_theq csx_drops csx_lsubr csx_aaa csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_csx + csx_simple csx_simple_theq csx_drops csx_lsubr csx_lfdeq csx_aaa csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_lfpxs csx_csx @@ -994,6 +994,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:42 +0100
+
Last update: Fri, 03 Nov 2017 19:18:59 +0100
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 08a77db80..453d6e234 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:42 +0100
+
Last update: Fri, 03 Nov 2017 19:18:59 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 7a5406e97..809620581 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:39 +0100
+
Last update: Fri, 03 Nov 2017 19:18:56 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index f77d73e31..a905d13f1 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:40 +0100
+
Last update: Fri, 03 Nov 2017 19:18:58 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index df9740d6a..bc6e16b64 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -881,6 +881,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:41 +0100
+
Last update: Fri, 03 Nov 2017 19:18:58 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 5ae645012..4ecd78be6 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -297,6 +297,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:39 +0100
+
Last update: Fri, 03 Nov 2017 19:18:56 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 00bea310e..d469b02ec 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:39 +0100
+
Last update: Fri, 03 Nov 2017 19:18:57 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 66c18dc4c..18b70bf6a 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:38 +0100
+
Last update: Fri, 03 Nov 2017 19:18:56 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index c0333c0fc..1f270edcf 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:40 +0100
+
Last update: Fri, 03 Nov 2017 19:18:57 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 16435d409..416afb955 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Thu, 02 Nov 2017 18:35:40 +0100
+
Last update: Fri, 03 Nov 2017 19:18:57 +0100
-- 2.39.2