<td class="snss capitalize green">
<a href="http://lambdadelta.info/specification.html#v1">version 1</a>
</td>
- <td class="snsn capitalize green">(<a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
+ <td class="snsn capitalize green">(<a href="http://lambdadelta.info/ground_1.html">background</a> - <a href="http://lambdadelta.info/basic_1.html">core</a>)</td>
<td class="snsn capitalize green">(<a href="http://lambdadelta.info/static/matita/lambdadelta/">static HELM directory</a>)</td>
<td class="snss capitalize green">
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</ul>
<div xmlns:ld="http://lambdadelta.info/" class="text">
Informational pages on the parts of the specification:
-<!-- <rlink to="ground_2.html">Background</rlink>, --><a href="http://lambdadelta.info/basic_1.html">Core</a>.
-<!-- <rlink to="apps_2.html">Applications</rlink>. --></div>
+ <a href="http://lambdadelta.info/ground_1.html">Background</a>,
+ <a href="http://lambdadelta.info/basic_1.html">Core</a>.
+ </div>
<div class="spacer">
<img class="rule" alt="[Spacer]" title="lambdadelta rainbow rule" src="http://lambdadelta.info/images/rainbow.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 20 Jan 2015 18:39:00 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 21 Jan 2015 17:13:08 +0100</div>
</body>
</html>