From ffc3e681a82dc32269cc87407a95db6c922d3bfb Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 9 Jun 2016 14:47:29 +0000 Subject: [PATCH] update in ground_2 and 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 | 10 +++++----- helm/www/lambdadelta/documentation.html | 2 +- helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 14 +++++++------- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- 11 files changed, 21 insertions(+), 21 deletions(-) diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index e4e4b3450..901e71a98 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 9f7e234b6..66d219e51 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 78dd5c0f4..ea6f8b8fc 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 42152ed06..fac42f16c 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -146,18 +146,18 @@ files 150 characters - 121855 + 126859 nodes - 618445 + 643162 propositions theorems 45 lemmas - 458 + 466 total - 503 + 511 concepts @@ -811,6 +811,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:07 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index a687f7a62..93e1cd136 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Wed, 01 Jun 2016 16:28:47 +0200
+
Last update: Thu, 09 Jun 2016 16:46:47 +0200
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 1362fd68a..fb6800ed6 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index d982e3846..fcdbffdea 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,27 +134,27 @@ files 90 characters - 120841 + 123973 nodes - 247853 + 260316 propositions theorems 32 lemmas - 568 + 580 total - 600 + 612 concepts declared 60 defined - 58 + 59 total - 118 + 119 @@ -823,6 +823,6 @@

-
Last update: Wed, 01 Jun 2016 16:23:06 +0200
+
Last update: Thu, 09 Jun 2016 16:46:48 +0200
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 6c8adae77..823c3a9b2 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Wed, 01 Jun 2016 16:28:47 +0200
+
Last update: Thu, 09 Jun 2016 16:46:47 +0200
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index ea9e12c41..b7498ed7a 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -283,6 +283,6 @@

-
Last update: Wed, 01 Jun 2016 16:28:47 +0200
+
Last update: Thu, 09 Jun 2016 16:46:47 +0200
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 80e936a07..c52739fe9 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Wed, 01 Jun 2016 16:28:47 +0200
+
Last update: Thu, 09 Jun 2016 16:46:47 +0200
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index f67b59787..bf80be2e7 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Wed, 01 Jun 2016 16:28:47 +0200
+
Last update: Thu, 09 Jun 2016 16:46:47 +0200
-- 2.39.2