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 = "background for \lambda\delta version 2"
   5       title = "background for \lambda\delta version 2"
   6       head = "cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)"
   7 >
   8    <section>Summary of the Specification</section>
   9    <body>Here is a numerical acount of the specification's contents
  10          and its timeline.
  11          Nodes are counted according to the "intrinsinc complexity measure"
  12          [F. Guidi: "Procedural Representation of CIC Proof Terms"
  13          Journal of Automated Reasoning 44(1-2), Springer (February 2010),
  14          pp. 53-78].
  15    </body>
  16    <table name="ground_2_sum"/>
  17    <news class="alpha" date="2013 November 27.">
  18          Natural numbers with infinity.
  19    </news>
  20    <news class="alpha" date="2011 August 10.">
  21          Specification starts.
  22    </news>
  23
  24    <section>Logical Structure of the Specification</section>
  25    <body>The source files are grouped in planes
  26          according to the following table.
  27          Notation files covering the whole specification are provided.
  28          The notation for the relations or functions introduced in each file
  29          is shown in parentheses (? are placeholders).
  30    </body>
  31    <table name="ground_2_src"/>
  32
  33    <footer/>
  34 </page>