From: Ferruccio Guidi Date: Sat, 21 Jan 2017 14:36:03 +0000 (+0000) Subject: update in basic_2 and ground_2 ... X-Git-Tag: make_still_working~515 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1e89c373698e2b5e55661291f25dc5238e9f13fd;p=helm.git update in basic_2 and ground_2 ... --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index eb55b5462..513db1fe9 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 6f08160e3..d3b26812c 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index cc017b880..549483fbe 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 80ad18b87..a281ef3ab 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -146,18 +146,18 @@ files 177 characters - 179834 + 181483 nodes - 938855 + 952913 propositions theorems 49 lemmas - 618 + 633 total - 667 + 682 concepts @@ -558,7 +558,7 @@ context-sensitive free variables frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? ) - frees_weight frees_lreq frees_drops frees_fqup frees_fqus frees_frees + frees_weight frees_lreq frees_drops frees_fqup frees_frees
@@ -883,6 +883,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index e2afae717..33432e4a8 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -401,6 +401,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index de55e1584..944b674c2 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -291,6 +291,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 5861c27a3..f1b34acf3 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -134,18 +134,18 @@ files 95 characters - 135538 + 135595 nodes - 314238 + 314345 propositions theorems 38 lemmas - 646 + 647 total - 684 + 685 concepts @@ -819,6 +819,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html index e887223c3..e783eabc6 100644 --- a/helm/www/lambdadelta/home.html +++ b/helm/www/lambdadelta/home.html @@ -290,6 +290,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index daefeee24..648cc31cf 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index a1b9c3e93..f91ab0380 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100
diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html index dc532b73f..57f8a9f95 100644 --- a/helm/www/lambdadelta/osn.html +++ b/helm/www/lambdadelta/osn.html @@ -197,6 +197,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:37 +0100
+
Last update: Sat, 21 Jan 2017 15:35:25 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index e2adfadb0..400a44814 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

-
Last update: Thu, 19 Jan 2017 19:22:38 +0100
+
Last update: Sat, 21 Jan 2017 15:35:26 +0100