]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/version_2.ldw.xml
improved site map and version 2 page
[helm.git] / helm / www / lambdadelta / web / home / version_2.ldw.xml
index 8da683d99373dd1b4db0e8d93e3ae71790c507d8..4fc844a1d3023f99b0572be70b93d9a8ac880432 100644 (file)
          Source scripts.
          <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
       </topitem>
+      <topitem>
+         <rlink to="ground_2.html">Background</rlink>,
+         <rlink to="basic_2.html">Core</rlink>,
+         <rlink to="apps_2.html">Applications</rlink>.
+         Informational pages on the parts of the specification.
+      </topitem>
    </body>
 
    <footer/>