X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=3aaefb691116a56de4a4b370c9e8f5b21f366631;hb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;hp=3bd4980e4199db1d1811d3164c9c85305dc9668c;hpb=645b62762e9c86e343d4741541a2ddccfed8ebc7;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 3bd4980e4..3aaefb691 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -23,7 +23,8 @@
This specification comprises a collection of checked
applications of λδ version 2.
In particular it contains the components below.
@@ -43,7 +44,8 @@
-
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"
@@ -55,21 +57,21 @@
- category |
- objects |
-
+ | category |
+ objects |
+
|
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
@@ -123,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.
@@ -134,10 +137,10 @@
- component |
- plane |
- files |
-
+ | component |
+ plane |
+ files |
+
|
@@ -161,7 +164,8 @@
- Physical Structure of the Specification
+
+ Physical Structure of the Specification
The source files are grouped in directories,
one for each component.
@@ -191,6 +195,6 @@
- Last update: Sat, 28 Jun 2014 20:29:31 +0200
+ Last update: Sun, 29 Jun 2014 22:20:18 +0200