1 <?xml version="1.0" encoding="UTF-8"?>
3 <page xmlns="http://lambdadelta.info/"
4 description = "\lambda\delta home page"
5 title = "\lambda\delta home page"
7 head = "cic:/matita/lambdadelta/ground_2/ (background for λδ version 2)"
9 <sitemap name="sitemap"/>
11 <section4 name="summary">Summary of the Specification</section4>
12 <body>Here is a numerical account of the specification's contents
15 <table name="ground_2_sum"/>
17 <news class="alpha" date="2020 January 6.">
18 Centralized xoa infrastructure removed.
20 <news class="alpha" date="2018 June 6.">
21 Decentralized xoa infrastructure.
23 <news class="alpha" date="2016 April 18.">
24 Generic rt-transition counter (rtc).
26 <news class="alpha" date="2016 March 4.">
27 Platform-independent multiple relocation (rtmap).
29 <news class="alpha" date="2016 January 20.">
30 Multiple relocation with streams of naturals.
32 <news class="alpha" date="2015 October 11.">
33 Multiple relocation with lists of booleans.
35 <news class="alpha" date="2013 November 27.">
36 Natural numbers with infinity (ynat).
38 <news class="alpha" date="2011 August 10.">
42 <section4 name="structure">Logical Structure of the Specification</section4>
43 <body>This table reports the specification's components and their planes.
45 <table name="ground_2_src"/>