<body>
<rlink to="download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</rlink>
(revised <notice class="gamma" text="2014-10"/>).
- Source scripts.
+ Source scripts [Svn revision: 12964].
<rlink to="documentation.html#ldR2c">Documentation (R2c)</rlink>.
</body>
<body>