+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ Informational pages on the specifications are provided.
+ </div>
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice1">
+ <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="notice2">
+ <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 3 =========================================================== -->
+ <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="v3">
+ <img class="icon37" alt="[butterfly]" title="\lambda\delta butterfly" src="http://lambdadelta.info/images/b8.png" /> λδ version 3 (proposed)</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ The formal specification of λδ version 3
+ is forthcoming.
+ </div>