helm/www/lambdadelta/web/home/version_2.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <page xmlns="http://lambdadelta.info/"
   4       description = "\lambda\delta home page"
   5       title = "\lambda\delta home page"
   6       head = "The Formal System λδ version 2"
   7 >
   8    <sitemap name="sitemap"/>
   9
  10    <section4 name="foreword">Formats</section4>
  11    <body>
  12       The formal specification of λδ version 2
  13       is available in the following formats:
  14       <topitem>
  15          <rlink to="download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</rlink>
  16          (revised <date date="2014-07"/>).
  17          Source scripts.
  18          <rlink to="implementation.html#bibtex">BibTeX entry</rlink>
  19       </topitem>
  20       <topitem>
  21          <rlink to="ground_2.html">Background</rlink>,
  22          <rlink to="basic_2.html">Core</rlink>,
  23          <rlink to="apps_2.html">Applications</rlink>.
  24          Informational pages on the parts of the specification.
  25       </topitem>
  26    </body>
  27
  28    <footer/>
  29 </page>