X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambda_delta%2Fld_basic_2.html;h=a9ce6a1c092dbba1d9a336048eb9bc72fd7a0db8;hb=9fc816ac51a681fe122712931f8df19d804a4695;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..a9ce6a1c0 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 | 413586 |
|
|
propositions | theorems | 45 | lemmas | 438 | total | 483 |
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.
-