<link rel="shortcut icon" href="images/crux_16.ico"></head><body>
<div style="text-align: center;">
<br>
- <a href="http://lambdadelta.info"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
+ <a href="http://lambdadelta.info/"><img alt="[Crux Logo]" title="The Crux" src="images/crux_32.png" style="border: 0px solid ; width: 32px; height: 32px;"></a>
<h1>The Formal System λδ (\lambda\delta)<br>
</h1>
<h2>Towards the unification of terms, types, environments and
<span style="font-weight: bold;"></span></li>
</ul>
<ul>
- <li><span style="font-weight: bold;">Access:</span> <a href="static/lddl/">static pages</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="download/lddl.tar.bz2">data set</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="http://lambdadelta.info/xml">HELM server URL</a>
+ <li><span style="font-weight: bold;">Access:</span> <a
+href="static/lddl/">static pages</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="download/lddl.tar.bz2">data set</a> (updated <span style="font-weight: bold;">2012-10</span>), <a href="http://lambdadelta.info/xml/">HELM server URL</a>
(updated <span style="font-weight: bold;">2012-10</span>).</li>
</ul>
<ul>
Guidi</a><br>
</div>
-</body></html>
\ No newline at end of file
+</body></html>