<div class="text">
<a href="http://lambdadelta.info/download/lambdadelta_2A1.tar.gz">lambdadelta_2A1 for Matita 0.99.2</a>
(revised <span class="emph gamma">2014-10</span>).
- Source scripts.
+ Source scripts [Svn revision: 12964].
<a href="http://lambdadelta.info/documentation.html#ldR2c">Documentation (R2c)</a>.
</div>
<div class="text">
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 16 Apr 2017 15:42:49 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 10 Oct 2017 19:10:33 +0200</div>
</body>
</html>