<rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
(revised <notice class="gamma" text="2019-11"/>).
Source scripts [Git revision: 2019-11-19 20:45:15].
<rlink to="download/lambdadelta_2B.tar.bz2">lambdadelta_2B for Matita 0.99.4</rlink>
(revised <notice class="gamma" text="2019-11"/>).
Source scripts [Git revision: 2019-11-19 20:45:15].