<a href="http://lambdadelta.info/download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</a>
(revised <span class="emph delta">2015-01</span>).
Source scripts.
<a href="http://lambdadelta.info/download/lambdadelta_1.tar.gz">lambdadelta_1 for Coq 7.3.1</a>
(revised <span class="emph delta">2015-01</span>).
Source scripts.