<body>
<rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
(revised <notice class="gamma" text="2014-10"/>).
<body>
<rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
(revised <notice class="gamma" text="2014-10"/>).