<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal specification of λδ version 2
is available in the following formats:
- <ul>
+ <ul id="source">
<li>
<a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
(revised <span class="date">2014-07</span>).
<a href="http://lambdadelta.info/implementation.html#bibtex">BibTeX entry</a>
</li>
</ul>
- <ul>
+ <ul id="parts">
<li>
<a href="http://lambdadelta.info/ground_2.html">Background</a>,
<a href="http://lambdadelta.info/basic_2.html">Core</a>,
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 07 Jul 2014 23:14:52 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 13 Jul 2014 15:59:00 +0200</div>
</body>
</html>