+ <ul xmlns:ld="http://lambdadelta.info/" id="source">
+ <li>
+ <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
+ (revised <span class="date">2014-09</span>).
+ Source scripts.
+ </li>
+ </ul>
+
+ <ul xmlns:ld="http://lambdadelta.info/" id="parts">
+ <li>
+ <a href="http://lambdadelta.info/ground_2.html">Background</a>,
+ <a href="http://lambdadelta.info/basic_2.html">Core</a>,
+ <a href="http://lambdadelta.info/apps_2.html">Applications</a>.
+ Informational pages on the parts of the specification.
+ </li>
+ </ul>
+