From: Ferruccio Guidi Date: Tue, 20 Jan 2015 17:51:37 +0000 (+0000) Subject: basic_1: we separate theorems and lemmas as in basic_2 X-Git-Tag: make_still_working~762 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=baab36c06f86166d1332ca8175b7193d70045b48;p=helm.git basic_1: we separate theorems and lemmas as in basic_2 the informational page is complete --- diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 0b76467b1..8cda8f76a 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 75a2a5a05..7938d47da 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:52 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 0b8626498..4871fb70f 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -102,18 +102,68 @@ - +
Abstract Syntax and Behavior [spacer] +
+
This is a summary of available syntactic items and reductions (block structure). +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
domainblockleader→ζ *annotator (with →ϵ *)applicator (with →θ *)reference *reduction
{X | Γ ⊢ ⊤}exclusionΓ ⊢ χyesnononono
{X | Γ ⊢ X : W}typed abstractionΓ ⊢ λWno<W>(V)#i→β *
{X | Γ ⊢ X = V}abbreviationΓ ⊢ δVyesnono#i→δ
nosortΓ ⊢ ⋆knonononono
+
+
* In terms only. +
Summary of the Specification [spacer]
Here is a numerical account of the specification's contents @@ -146,18 +196,18 @@ files 120 characters - 198123 + 198089 nodes propositions theorems - 699 + 81 lemmas - 29 + 618 total - 728 + 699 concepts @@ -773,6 +823,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:52 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 2a6049ea6..b05d3b07d 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -1384,6 +1384,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:52 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index c49a38080..2b7aee243 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -366,6 +366,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:38:59 +0100
diff --git a/helm/www/lambdadelta/download/lambdadelta_1.tar.gz b/helm/www/lambdadelta/download/lambdadelta_1.tar.gz index 5a359df22..6b0f832b8 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 7d8d51b13..92bd89f68 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -297,6 +297,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100
diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 8d832da50..5e0673464 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -255,6 +255,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:38:59 +0100
diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index c8641b1cb..60ac77f4d 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -202,6 +202,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:38:59 +0100
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 9bbcede0c..2d4bbb7a9 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -335,6 +335,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:50 +0100
+
Last update: Tue, 20 Jan 2015 18:38:59 +0100
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 6402c6fe4..47b54eed9 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -327,6 +327,6 @@

-
Last update: Mon, 19 Jan 2015 23:52:51 +0100
+
Last update: Tue, 20 Jan 2015 18:39:00 +0100