λδ is developed in the context of the
<a href="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</a>
as a machine-checked digital specification
- that is not the formal counterpart of some previously published informal material.
+ that is not the formal counterpart of previous informal material.
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
This is the System logo: <a href="http://lambdadelta.info/images/crux_177.png">crux_177.png</a>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Nov 2014 17:50:22 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 04 Nov 2014 16:21:22 +0100</div>
</body>
</html>