X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=6402c6fe42ae2d1d76b0239fd4d70b770a8eeb9f;hb=a3ab07c97eaea90a6f243f2053fb55151ecc12df;hp=cc43bdc0f774d63c6d75b8ac3af19d1b4ad41626;hpb=fe00a22101acb7995f8488a4434c4046bc540af0;p=helm.git
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index cc43bdc0f..6402c6fe4 100644
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -45,6 +45,9 @@
|
+
+
+ |
implementation
|
@@ -66,6 +69,9 @@
version 2
(background - core - applications) |
+
+
+ |
library
|
@@ -84,6 +90,7 @@
version 1
|
+ (core) |
(static HELM directory) |
helena
@@ -171,6 +178,26 @@
+
+ Informational pages on the specifications are provided.
+
+
+ -
+ Notice on displayed numerical acounts:
+ nodes are counted according to the "intrinsic complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
+
+
+
+ -
+ Notice on displayed logical structures:
+ from the logical standpoint, the source scripts are grouped in "planes"
+ and these are grouped in "components";
+ the notation for the relations or functions
+ introduced in each script, is shown in parentheses (? are placeholders).
+
+
λδ version 2 (active)
@@ -201,19 +228,6 @@
Background,
Core,
Applications.
-
-
- Notice on numerical acounts:
- nodes are counted according to the "intrinsic complexity measure"
- [F. Guidi: "Procedural Representation of CIC Proof Terms"
- Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
-
-
- Notice on displayed logical structures:
- from the logical standpoint, the source scripts are grouped in "planes"
- and these are grouped in "components";
- the notation for the relations or functions
- introduced in each script, is shown in parentheses (? are placeholders).
@@ -283,6 +297,10 @@
Notice: the HELM rendering engine is offline.
+
+ Informational pages on the parts of the specification:
+ Core.
+
@@ -309,6 +327,6 @@
- Last update: Thu, 15 Jan 2015 16:59:16 +0100
+ Last update: Mon, 19 Jan 2015 23:52:51 +0100
|