From df11c235566a301d9e1f9e41a372cc85bcb7b60e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Wed, 8 Mar 2017 21:36:52 +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 | 16 ++++++++-------- 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, 22 insertions(+), 22 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 5fadd3479..b4d659ac2 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:30 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 833ac4194..7c278108d 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -152,9 +152,9 @@ sizes files - 1 + 2 characters - 377 + 594 nodes 779 @@ -266,6 +266,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:31 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 4fbd0a621..f3f6c7d85 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:30 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index e65261bbb..4ee92ddf0 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,20 +144,20 @@ sizes files - 210 + 235 characters - 220382 + 225732 nodes - 1078173 + 1092645 propositions theorems 61 lemmas - 728 + 738 total - 789 + 799 concepts @@ -404,7 +404,7 @@
cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? ) - cpxs_tdeq cpxs_cpxs + cpxs_tdeq cpxs_drops cpxs_lfpx cpxs_cpxs rt-transition @@ -458,7 +458,7 @@
lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? ) - lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa + lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx @@ -875,6 +875,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:31 +0100
diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html index 36bd2a675..23fa28631 100644 --- a/helm/www/lambdadelta/core.html +++ b/helm/www/lambdadelta/core.html @@ -7116,6 +7116,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:31 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index f51a73d9c..0cf02808b 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:29 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index b6383c254..f7e32d0ff 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:30 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index e63a6fd4b..2f8c106fa 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:03 +0100
+
Last update: Wed, 08 Mar 2017 22:36:31 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 579c245dc..eb4becc81 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:28 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 73f15d1e8..3201d1426 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:29 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 1d82fca1e..64c65f122 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:28 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index ef9bd6b70..b14bd39e5 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:29 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 65855b2b7..f0548dd58 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Mon, 06 Mar 2017 23:23:02 +0100
+
Last update: Wed, 08 Mar 2017 22:36:29 +0100
-- 2.39.2