<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
(revised <notice class="delta" notice="2015-09"/>).
Source scripts.
<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
(revised <notice class="delta" notice="2015-09"/>).
Source scripts.
<list><item>
<notice class="delta" notice="2015 January 15."/>
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".
<list><item>
<notice class="delta" notice="2015 January 15."/>
17 new lemmas and former lemma "eq_nat_dec" renamed as "nat_dec_neg".