<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
(revised <date date="2012-10"/>).
Source scripts.
<rlink to="download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</rlink>
(revised <date date="2012-10"/>).
Source scripts.