From 6a4711dbb4bec52222e9d0586326ef03b9fbc81b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 19 Jan 2017 18:23:04 +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 | 16 ++++++++-------- 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 +- 12 files changed, 19 insertions(+), 19 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 881238edf..eb55b5462 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index e4bef7824..6f08160e3 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 0390f05dd..cc017b880 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 4cf7f8544..80ad18b87 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,20 +144,20 @@ sizes files - 175 + 177 characters - 177083 + 179834 nodes - 919341 + 938855 propositions theorems 49 lemmas - 609 + 618 total - 658 + 667 concepts @@ -372,7 +372,7 @@ rt-transition t-bound context-sensitive rt-transition lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? ) - lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_lfpx lfpr_lfpr + lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr
@@ -418,7 +418,7 @@ uncounted context-sensitive rt-transition lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? ) - lfpx_length lfpx_drops lfpx_fqup lfpx_frees + lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa
@@ -883,6 +883,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 54d1474bb..e2afae717 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index b0fe0ae03..de55e1584 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index bc9e69829..5861c27a3 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -819,6 +819,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index 2cc614672..e887223c3 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 672840198..daefeee24 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 093358488..a1b9c3e93 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index cf291ea06..dc532b73f 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:37 +0100
+
Last update: Thu, 19 Jan 2017 19:22:37 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index cb7ba472e..e2adfadb0 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Wed, 18 Jan 2017 17:50:38 +0100
+
Last update: Thu, 19 Jan 2017 19:22:38 +0100
-- 2.39.2