helm/coq-contribs/lambdadelta/web/ground_1.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       logo = "crux"
   7       head = "cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)"
   8 >
   9    <sitemap name="sitemap"/>
  10
  11    <section6 name="summary">Summary of the Specification</section6>
  12    <body>Here is a numerical account of the specification's contents
  13          and its timeline.
  14    </body>
  15    <table name="ground_1_sum"/>
  16
  17    <news class="delta" date="January 2015.">
  18       Update with backports from the abandoned specification of λδ version 2.
  19    </news>
  20    <news class="delta" date="May 2008.">
  21       Specification is concluded.
  22    </news>
  23    <news class="alpha" date="May 2004.">
  24       Specification starts.
  25    </news>
  26
  27    <section6 name="structure">Logical Structure of the Specification</section6>
  28    <body>This table reports the specification's components and their planes.
  29    </body>
  30    <table name="ground_1_src"/>
  31
  32    <footer/>
  33 </page>