X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=8fe8e6e80210058fb4df47c30f33fc589032a1ea;hb=2d1ca624723598e18ed60cccb16581dda868527f;hp=8019b44f8d50d6ba52fe5ccfda0d4067959d2288;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 8019b44f8..8fe8e6e80 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -1,6 +1,6 @@
-
+
@@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents
and its timeline.
- category | objects |
|
|
|
|
|
sizes | files | 226 | characters | 427252 |
|
|
propositions | theorems | 82 | lemmas | 981 | total | 1063 |
concepts | declared | 43 | defined | 76 | total | 119 |
+ category | objects |
|
|
|
|
|
sizes | files | 225 | characters | 423652 |
|
|
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: 2012-12-01T17:55:33+01:00
+
Last update: 2012-12-30T14:07:44+01:00