X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=e1ee79748b0adfbf0fcd9b149261deb62e3a3c89;hb=1748969db46c372d20be316e41737cd206129205;hp=e79d3468bea28bbf5373ecd887404bead7c5ecc6;hpb=aa9654656f7d0aeb9345e0b86a9e35f861687580;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index e79d3468b..e1ee79748 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents
and its timeline.
- category | objects |
|
|
|
|
|
sizes | files | 225 | characters | 423665 | nodes | 1282212 |
propositions | theorems | 82 | lemmas | 984 | total | 1066 |
concepts | declared | 43 | defined | 76 | total | 119 |
+ category | objects |
|
|
|
|
|
sizes | files | 225 | characters | 423665 | nodes | 1173833 |
propositions | theorems | 82 | lemmas | 984 | total | 1066 |
concepts | declared | 43 | defined | 76 | total | 119 |
- In progress.
Context-sensitive subject equivalence
for native type assignment.
@@ -83,6 +83,6 @@
The source files are grouped in directories,
one for each component.
-
Last update: 2013-01-28T19:34:41+01:00
+
Last update: 2013-02-01T19:32:03+01:00