-
-
-
- <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
- <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (in progress)</div>
- <div xmlns:ld="http://lambdadelta.info/" class="text">
+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ Informational pages on the specifications are provided.
+ </div>
+ <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <li>
+ <span class="emph alpha">Notice on displayed numerical acounts:</span>
+ 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].
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <li>
+ <span class="emph alpha">Notice on displayed logical structures:</span>
+ 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).
+ </li>
+ </ul>
+ <!-- VERSION 2 =========================================================== -->
+ <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v2">
+ <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b4.png" /> λδ version 2 (active)</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">