X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=0d7ed25e3c755e4f9bdb5dc49760fdd1c5561981;hb=f8bf3abd773864388fef5efe599ac77f292a6b9d;hp=5df7981032ddcf2c04040f3ae692ac80142c7abe;hpb=c07e9b0a3e65c28ca4154fec76a54a9a118fa7e1;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 5df798103..0d7ed25e3 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -6,8 +6,8 @@
-
-
This specification comprises a collection of checked
applications of λδ version 2.
In particular it contains the components below.
@@ -43,38 +44,43 @@
-
Summary of the Specification
+
+
Summary of the Specification
Here is a numerical acount of the specification's contents
and its timeline.
+ Nodes are counted according to the "intrinsinc complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010),
+ pp. 53-78].
- category |
- objects |
-
+ | category |
+ objects |
+
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
sizes |
files |
- 4 |
+ 4 |
characters |
- 3928 |
+ 2567 |
nodes |
3637 |
@@ -119,7 +125,8 @@
- Logical Structure of the Specification
+
+ Logical Structure of the Specification
The source files are grouped in planes and components
according to the following table.
Each component contains its own notation file.
@@ -130,10 +137,10 @@
- component |
- plane |
- files |
-
+ | component |
+ plane |
+ files |
+
|
@@ -157,7 +164,8 @@
- Physical Structure of the Specification
+
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -187,6 +195,6 @@
- Last update: Sun, 21 Jul 2013 00:11:48 +0200
+ Last update: Fri, 04 Jul 2014 19:56:33 +0200