X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=08c02d3e103606021259893efd4967dab3bb28a2;hb=f8bf3abd773864388fef5efe599ac77f292a6b9d;hp=29512854ce45a95e130cc3da0077202e964499ea;hpb=75a867276f0485a564e18c103193d8fab1dbfd0e;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 29512854c..08c02d3e1 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -23,7 +23,8 @@
Here is a numerical acount of the specification's contents
and its timeline.
Nodes are counted according to the "intrinsinc complexity measure"
@@ -35,41 +36,41 @@
- category |
- objects |
-
+ | category |
+ objects |
+
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
sizes |
files |
- 29 |
+ 29 |
characters |
- 74242 |
+ 46886 |
nodes |
- 59597 |
+ 61467 |
propositions |
theorems |
2 |
lemmas |
- 177 |
+ 183 |
total |
- 179 |
+ 185 |
concepts |
@@ -96,7 +97,8 @@
- Logical Structure of the Specification
+
+ Logical Structure of the Specification
The source files are grouped in planes
according to the following table.
Notation files covering the whole specification are provided.
@@ -107,30 +109,30 @@
- plane |
- files |
-
+ | plane |
+ files |
+
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
@@ -204,7 +206,8 @@
- Physical Structure of the Specification
+
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each plane.
@@ -234,6 +237,6 @@
- Last update: Sun, 20 Apr 2014 22:05:41 +0200
+ Last update: Fri, 04 Jul 2014 19:56:33 +0200