<td class="snns top" id="ldV2">
<span class="date">V2.</span>
</td>
- <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2</a> (revised <span class="date">2014-09</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
+ <td class="ssnn top">F. Guidi: <a href="http://lambdadelta.info/version_2.html">lambdadelta_2</a> (revised <span class="date">2014-10</span>). Formal specification for the proof assistant Matita 0.99.2 (scripts). <a href="http://lambdadelta.info/documentation.html#bibtex">BibTeX entry</a>.</td>
</tr>
<tr>
<td class="nnss top" />
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 04 Oct 2014 22:58:58 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 05 Oct 2014 16:38:32 +0200</div>
</body>
</html>