+ <div xmlns:ld="http://lambdadelta.info/" class="head3sn" id="lddl">
+ <img class="icon32" alt="[\lambda\delta digital library logo]" title="LDDL: \lambda\delta digital library" src="http://lambdadelta.info/images/crux_32.png" /> λδ Digital Library (LDDL)</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ The λδ Digital Library is part of <a href="http://helm.cs.unibo.it/">HELM</a>
+ and contains resources expressed in the systems of the λδ family.
+ </div>
+ <ul xmlns:ld="http://lambdadelta.info/" id="contents">
+ <li>
+ <span class="emph alpha">Contents:</span>
+ Landau's "Grundlagen der Analysis"
+ (from Jutting's specification in <a href="http://www.win.tue.nl/automath/">Automath</a>).
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/" id="access">
+ <li>
+ <span class="emph alpha">Access:</span>
+ <a href="http://lambdadelta.info/static/lddl/">static pages</a> (updated <span class="emph gamma">2015-01</span>),
+ <a href="http://lambdadelta.info/download/lddl.tar.bz2">data set</a> (updated <span class="emph gamma">2014-12</span>),
+ <a href="http://lambdadelta.info/xml/">HELM server URL</a> (updated <span class="emph gamma">2014-12</span>).
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/" id="examples">
+ <li>
+ <span class="emph alpha">Examples:</span>
+ <a href="http://lambdadelta.info/static/lddl/Environment/grundlagen_2/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">
+ Grundlagen's definition "t234"</a>
+ in λδ version 4.
+ </li>
+ </ul>