matita/matita/contribs/lambdadelta/ground_2/web/ground_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 = "cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)"
   7 >
   8    <sitemap name="sitemap"/>
   9
  10    <section4 name="summary">Summary of the Specification</section4>
  11    <body>Here is a numerical account of the specification's contents
  12          and its timeline.
  13    </body>
  14    <table name="ground_2_sum"/>
  15    <news class="alpha" date="2015 October 11.">
  16          Multiple relocation with lists of booleans.
  17    </news>
  18    <news class="alpha" date="2013 November 27.">
  19          Natural numbers with infinity.
  20    </news>
  21    <news class="alpha" date="2011 August 10.">
  22          Specification starts.
  23    </news>
  24
  25    <section4 name="structure">Logical Structure of the Specification</section4>
  26    <body>This table reports the specification's components and their planes.
  27    </body>
  28    <table name="ground_2_src"/>
  29
  30    <footer/>
  31 </page>