helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <ld:page xmlns:ld="http://lambda_delta.info"
   4       description = "lambda_delta version 2"
   5       title = "lambda_delta version 2"
   6       head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
   7 >
   8    <ld:section>Summary of the contribution</ld:section>
   9    <ld:body>Here is a numerical acount of the contribution's contents
  10             and its timeline.
  11    </ld:body>
  12    <ld:table name="ld_Basic_2_sum"/>
  13    <ld:news date="2012 January 27.">
  14             Support for abstract candidates of reducibility closed.
  15    </ld:news>
  16    <ld:news date="2011 September 21.">
  17             Confluence of context-sensitive parallel reduction closed.
  18    </ld:news>
  19    <ld:news date="2011 September 6.">
  20             Confluence of context-free parallel reduction closed.
  21    </ld:news>
  22    <ld:news date="2011 April 17.">
  23             Specification started.
  24    </ld:news>
  25    <ld:section>Logical structure of the contribution</ld:section>
  26    <ld:body>The source files are grouped in planes and components
  27             according to the following table.
  28             The notation for the relations or functions introduced in each file
  29             is shown in parentheses.
  30    </ld:body>
  31    <ld:table name="ld_basic_2_src"/>
  32    <ld:section>Physical structure of the contribution</ld:section>
  33    <ld:body>The source files are grouped in directories, one for each
  34             component.
  35    </ld:body>
  36    <ld:footer/>
  37 </ld:page>