X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambda_delta%2Fld_basic_2.html;h=e3db21c776fb2ff20a8433c814dbbba3b1a54b93;hb=b0e53eab5aa92b80f4d13a638e6ca55c054be6e5;hp=da3ebdad33ec3ffacbd26ac8d20ebad684ecc353;hpb=01d39f9b4feb6eba25f951c6fda8037840db88b4;p=helm.git
diff --git a/helm/www/lambda_delta/ld_basic_2.html b/helm/www/lambda_delta/ld_basic_2.html
index da3ebdad3..e3db21c77 100644
--- a/helm/www/lambda_delta/ld_basic_2.html
+++ b/helm/www/lambda_delta/ld_basic_2.html
@@ -13,7 +13,7 @@
-
This is a summary of the "block structure"
of the System's syntactic items and reductions.
@@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents
and its timeline.
-
category | objects |
|
|
|
|
|
propositions | theorems | 43 | lemmas | 422 | total | 465 |
concepts | declared | 32 | defined | 35 | total | 67 |
+
category | objects |
|
|
|
|
|
sizes | files | 112 | bytes | 421978 |
|
|
propositions | theorems | 45 | lemmas | 449 | total | 494 |
concepts | declared | 32 | defined | 38 | total | 70 |
- In progress.
Context-sensitive strong normalization of simply typed terms.
@@ -53,12 +53,12 @@
The notation for the relations or functions introduced in each file
is shown in parentheses.
- The source files are grouped in directories,
one for each component.
-