+ <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>