X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fspecification.html;h=21336180bd7f2188fefdb59c1704e6ceb1e62756;hb=0cb16b42f119c1cb6135f237092892e2f82929ee;hp=043b472e1fdda1b553768912356c30d3bb34604e;hpb=bfdaedc0ea2ee29ce9444ce1283a2642a86e8d86;p=helm.git
diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 043b472e1..21336180b 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: Fri, 16 Jan 2015 16:47:03 +0100
+ Last update: Sun, 18 Jan 2015 17:41:31 +0100
|