X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=cca6b45857d3d8a6314e9fbc493e9094f48b4bbe;hb=4e961fd767a9800fe35fda629f7a2f119d4b165f;hp=3cb582ae7985e5ca702ce63237ab79e13deff96b;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 3cb582ae7..cca6b4585 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -23,8 +23,7 @@
[Spacer]
- -
Contents of the Specification
+
Contents of the Specification
This specification comprises a collection of checked applications of λδ version 2. In particular it contains the components below. @@ -44,8 +43,7 @@ - -
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" @@ -57,50 +55,50 @@ - - - + + - - - - - - - - - - - + + + + + + + - - - - - - - + + + + + + + - - - - - - - + + + + + + +
categoryobjects + categoryobjects
+
+
+
+
sizesfiles4characters2567nodes3637sizesfiles4characters2567nodes3637
propositionstheorems2lemmas1total3propositionstheorems2lemmas1total3
conceptsdeclared3defined9total12conceptsdeclared3defined9total12
@@ -125,8 +123,7 @@ -
-
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. @@ -137,26 +134,26 @@ - - - - + + + - - - - + + + + - - - - + + @@ -164,8 +161,7 @@
componentplanefiles + componentplanefiles
functionalreduction and type machinertmrtm_step ( ? ⇨ ? )functionalreduction and type machinertmrtm_step ( ? ⇨ ? )
+
relocationlift ( ↑[?,?] ? ) + relocationlift ( ↑[?,?] ? )
-
-
Physical Structure of the Specification
+
Physical Structure of the Specification
The source files are grouped in directories, one for each component.
@@ -195,6 +191,6 @@

-
Last update: Sun, 06 Jul 2014 16:29:26 +0200
+
Last update: Wed, 15 Oct 2014 15:37:19 +0200