+ <body>
+ Informational pages on the specifications are provided.
+ </body>
+ <topitem name="notice1">
+ <notice class="alpha" text="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].
+ </topitem>
+ <topitem name="notice2">
+ <notice class="alpha" text="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).
+ </topitem>
+
+<!-- VERSION 3 =========================================================== -->
+
+ <subsection name="v3"><img logo="ld3"/>λδ version 3 (proposed)</subsection>
+ <body>
+ The formal specification of λδ version 3
+ is forthcoming.
+ </body>
+