]> matita.cs.unibo.it Git - helm.git/blob - helm/coq-contribs/lambdadelta/web/ground_1.ldw.xml
milestone update in basic_2
[helm.git] / 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>