<rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
(revised <notice class="gamma" text="2014-10"/>).
Source scripts [Svn revision: 12964].
- <rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
+ <rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
</body>
<body>
The scripts are grouped in directories, first by part, then by component.
<body>
Informational pages on the parts of the specification:
- <rlink to="ground_2.html">Background</rlink>,
- <rlink to="basic_2.html">Core</rlink>,
- <rlink to="apps_2.html">Applications</rlink>.
+ <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>
<!-- VERSION 1 =========================================================== -->
<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
(revised <notice class="delta" text="2015-09"/>).
Source scripts.
- <rlink to="documentation.html#ldJ1a">Documentation (J1a)</rlink>.
+ <rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
<list><item>
<notice class="delta" text="2015 January 15."/>
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
<body>
Informational pages on the parts of the specification:
- <rlink to="ground_1.html">Background</rlink>,
- <rlink to="basic_1.html">Core</rlink>.
+ <rlink to="html/ground_1.html">Background</rlink>,
+ <rlink to="html/basic_1.html">Core</rlink>.
</body>
<footer/>