X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fld_apps_2.html;h=5aa7b421306025696932656e0206c331f3d2d13e;hb=b0e53eab5aa92b80f4d13a638e6ca55c054be6e5;hp=8558d5862d22769c9b010b2d8ce51f061ea12d8c;hpb=ff11fcced84c3e18f0f73be101bc7b2086fc0a52;p=helm.git
diff --git a/helm/www/lambda_delta/ld_apps_2.html b/helm/www/lambda_delta/ld_apps_2.html
index 8558d5862..5aa7b4213 100644
--- a/helm/www/lambda_delta/ld_apps_2.html
+++ b/helm/www/lambda_delta/ld_apps_2.html
@@ -13,7 +13,7 @@
-
This specification comprises a collection of checked
applications of λδ version 2.
@@ -32,7 +32,7 @@
Here is a numerical acount of the specification's contents
and its timeline.
-
category | objects |
|
|
|
|
|
propositions | theorems | 4 | lemmas | 1 | total | 5 |
concepts | declared | 3 | defined | 10 | total | 13 |
+
category | objects |
|
|
|
|
|
sizes | files | 5 | bytes | 13091 |
|
|
propositions | theorems | 4 | lemmas | 1 | total | 5 |
concepts | declared | 3 | defined | 10 | total | 13 |
- 2012 February 24.
The Applications directory is started.
@@ -57,6 +57,6 @@
The source files are grouped in directories,
one for each component.
-
Last update: 2012-02-24+01:00
+
Last update: 2012-03-14+01:00