+ </topitem>
+
+<!-- VERSION 3 =========================================================== -->
+
+ <subsection name="v3"><img logo="ld3"/>λδ version 3 (proposed)</subsection>
+ <body>
+ The formal specification of λδ version 3
+ is forthcoming.
+ </body>
+
+<!-- VERSION 2 =========================================================== -->
+
+ <subsection name="v2"><img logo="ld2"/>λδ version 2 (active)</subsection>
+ <body>
+ The formal specification of λδ version 2
+ is available in the following formats.
+ </body>
+
+ <body>
+ Informational pages on the parts of the specification:
+ <rlink to="html/ground_2.html">Background</rlink>,
+ <rlink to="html/static_2.html">Syntax</rlink>,
+ <rlink to="html/basic_2.html">Core</rlink>,
+ <rlink to="html/apps_2.html">Applications</rlink>.
+ </body>
+
+ <body>
+ <notice class="alpha" text="Notice:"/>
+ The scripts are grouped in directories, first by part, then by component.
+ </body>
+
+ <body>
+ <notice class="alpha" text="Notice:"/>
+ the scripts are checked by the latest version of Matita from
+ <link to="http://matita.cs.unibo.it/gitweb/?p=helm.git;a=summary">HELM Git repository</link>.