</table>
</div>
- <a xmlns:ld="http://lambdadelta.info/" name="foreword" />
- <div xmlns:ld="http://lambdadelta.info/" class="head2dx">Foreword <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="foreword">Foreword <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b9.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
The formal system λδ (\lambda\delta) is a typed λ-calculus aiming to support
</table>
</div>
- <a xmlns:ld="http://lambdadelta.info/" name="notice" />
- <div xmlns:ld="http://lambdadelta.info/" class="head2dx">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
+ <div xmlns:ld="http://lambdadelta.info/" class="head2dx" id="notice">Notice for the Internet Explorer user <img class="icon37" alt="[spacer]" title="lambdadelta butterfly" src="http://lambdadelta.info/images/b3.png" />
</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">
To view this site correctly, please select a font
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 16:37:09 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sun, 06 Jul 2014 17:03:50 +0200</div>
</body>
</html>