From: Ferruccio Guidi Date: Thu, 15 Jan 2015 16:09:55 +0000 (+0000) Subject: lambdadelta_1 updated with new part names X-Git-Tag: make_still_working~767 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fe00a22101acb7995f8488a4434c4046bc540af0;p=helm.git lambdadelta_1 updated with new part names --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 32ce9bad0..e33fe4a91 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:45 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 9d96b1dbc..379c28ce3 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -145,29 +145,29 @@ sizes files - 14 + 4 characters - 6787 + 68581 nodes - 10070 + 3637 propositions theorems 2 lemmas - 4 + 1 total - 6 + 3 concepts declared - 6 + 3 defined - 11 + 9 total - 17 + 12 @@ -251,6 +251,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:45 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index a9dd33f1d..d3ea2991a 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -141,7 +141,7 @@ characters 433402 nodes - 1874778 + 1874774 propositions @@ -1377,6 +1377,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:45 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 78777483e..71b7318d6 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -359,6 +359,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:44 +0100
diff --git a/helm/www/lambdadelta/download/lambdadelta_1.tar.gz b/helm/www/lambdadelta/download/lambdadelta_1.tar.gz index 17df0b09c..f05976ce0 100644 Binary files a/helm/www/lambdadelta/download/lambdadelta_1.tar.gz and b/helm/www/lambdadelta/download/lambdadelta_1.tar.gz differ diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index b733264ec..88f2bef4a 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -127,7 +127,7 @@ files 30 characters - 46649 + 68581 nodes 62380 @@ -290,6 +290,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:45 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index c50d125e5..b11b5b995 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -248,6 +248,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:44 +0100
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 5e923dda1..34855b0ee 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -195,6 +195,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:44 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index f9bc87d37..5707823a2 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -321,6 +321,6 @@

-
Last update: Mon, 05 Jan 2015 00:32:03 +0100
+
Last update: Thu, 15 Jan 2015 16:54:44 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 5ae4a8485..cc43bdc0f 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -228,7 +228,13 @@ lambdadelta_1 for Coq 7.3.1 (revised 2015-01). Source scripts. - + +
The scripts are grouped in directories, one for each part.
@@ -303,6 +309,6 @@

-
Last update: Sun, 11 Jan 2015 18:32:40 +0100
+
Last update: Thu, 15 Jan 2015 16:59:16 +0100
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml index 2206980bb..9712c9a83 100644 --- a/helm/www/lambdadelta/web/home/specification.ldw.xml +++ b/helm/www/lambdadelta/web/home/specification.ldw.xml @@ -86,6 +86,10 @@ lambdadelta_1 for Coq 7.3.1 (revised ). Source scripts. + + + 17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg". + The scripts are grouped in directories, one for each part.