From f95f6cb21b86f3dad114b21f687aa5df36088064 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 27 Jul 2013 16:37:16 +0000 Subject: [PATCH] - the milestone was not reported on the web page! - we say on the web pages how nodes are counted --- .../matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml | 4 ++++ .../contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | 7 +++++++ 2 files changed, 11 insertions(+) diff --git a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml index 1f61d9305..158c02039 100644 --- a/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml +++ b/matita/matita/contribs/lambdadelta/apps_2/web/apps_2.ldw.xml @@ -22,6 +22,10 @@
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" + [F. Guidi: "Procedural Representation of CIC Proof Terms" + Journal of Automated Reasoning 44(1-2), Springer (February 2010), + pp. 53-78]. diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml index b2cadf0d2..af73af5fc 100644 --- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml +++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml @@ -19,6 +19,10 @@
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" + [F. Guidi: "Procedural Representation of CIC Proof Terms" + Journal of Automated Reasoning 44(1-2), Springer (February 2010), + pp. 53-78].
@@ -30,6 +34,9 @@ for native validity. + Passive support for global environments. + + Reaxiomatized β-reductum as in extended β-reduction -- 2.39.2