<sitemap name="sitemap"/>
<section4 name="foreword">Formats</section4>
+
<body>
The formal specification of λδ version 2
is available in the following formats:
- <topitem>
- <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
- (revised <date date="2014-07"/>).
- Source scripts.
- <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
- </topitem>
</body>
+ <topitem name="source">
+ <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
+ (revised <date date="2014-08"/>).
+ Source scripts.
+ </topitem>
+
+ <topitem name="parts">
+ <rlink to="ground_2.html">Background</rlink>,
+ <rlink to="basic_2.html">Core</rlink>,
+ <rlink to="apps_2.html">Applications</rlink>.
+ Informational pages on the parts of the specification.
+ </topitem>
+
<footer/>
</page>