<topitem name="source2B">
<body>
<rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
<topitem name="source2B">
<body>
<rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
<rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
<list><item>
<notice class="delta" text="2020-02-27."/>
<rlink to="html/documentation.html#ldR2c">Documentation (R2c)</rlink>.
<list><item>
<notice class="delta" text="2020-02-27."/>
<topitem name="source2g">
<body>
<rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
<topitem name="source2g">
<body>
<rlink to="download/lambdadelta_ground.tar.bz2">lambdadelta_ground for Matita 0.99.2</rlink>
<rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
<list><item>
<notice class="delta" text="2019-11-20."/>
<rlink to="html/documentation.html#ldJ1a">Documentation (J1a)</rlink>.
<list><item>
<notice class="delta" text="2019-11-20."/>
</item><item>
<notice class="delta" text="2015-01-15."/>
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
</item><item>
<notice class="delta" text="2015-01-15."/>
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".