<meta name="description" content="lambda-delta digital library"/>
<title>lambda-delta digital library (LDDL)</title>
<link rel="stylesheet" type="text/css"
- href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+ href="http://lambda-delta.info/static/lddl/ld-html.css"
/>
<link rel="shortcut icon"
- href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
+ href="http://lambda-delta.info/download/crux-16.ico"
/>
</head><body>
<div class="spacer">
- <a href="http://helm.cs.unibo.it/lambda-delta/">
+ <a href="http://lambda-delta.info/">
<img class="icon32"
alt="[lambda-delta home]" title="lambda-delta home"
- src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
+ src="http://lambda-delta.info/download/crux-32.png"
/></a>
</div>
<div class="head1">
<div class="spacer">
<img class="rule"
alt="[Spacer]" title="lambda-delta rainbow rule"
- src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+ src="http://lambda-delta.info/download/rainbow.png"
/>
</div>
<xsl:apply-templates/>
<img class="w3c"
alt="[Generated from XML via XSL]"
title="Generated from XML via XSL"
- src="http://helm.cs.unibo.it/lambda-delta/download/xml_xsl2.png"
+ src="http://lambda-delta.info/download/xml_xsl2.png"
/></a>
- <a href="http://helm.cs.unibo.it/lambda-delta/implementation.html#helena">
+ <a href="http://lambda-delta.info/implementation.html#helena">
<img class="w3c"
alt="[Powered by Helena lambda-delta processor]"
title="Powered by Helena lambda-delta processor"
- src="http://helm.cs.unibo.it/lambda-delta/download/helena-label.png"
+ src="http://lambda-delta.info/download/helena-label.png"
/></a>
<a href="http://www.w3.org/Graphics/PNG/">
<img class="w3c"