<rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
(revised: <notice class="gamma" notice="2020-12"/>).
<rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
</body>
<body>
<rlink to="download/lambdadelta_2B.tar.bz2">λδ-2B for for Matita 0.99.4</rlink>
(revised: <notice class="gamma" notice="2020-12"/>).
<rlink to="html/documentation.html#ldJ2a">Documentation (J2a)</rlink>.
</body>
<body>