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/ (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_sum"/>
17 <news class="gamma" date="2021-02-15.">
18 Primitive arithmetics library.
20 <news class="gamma" date="2020-12-08.">
21 Specification is repackaged for publication.
23 <news class="gamma" date="2020-02-27.">
24 Specification is released as an independent package (was ground_2).
26 <news class="beta" date="2020-01-06.">
27 Centralized xoa infrastructure removed.
29 <news class="beta" date="2018-06-06.">
30 Decentralized xoa infrastructure.
32 <news class="beta" date="2016-04-18.">
33 Generic rt-transition counter (rtc).
35 <news class="beta" date="2016-03-04.">
36 Platform-independent multiple relocation (rtmap).
38 <news class="alpha" date="2016-01-20.">
39 Multiple relocation with streams of naturals.
41 <news class="alpha" date="2015-10-11.">
42 Multiple relocation with lists of booleans.
44 <news class="alpha" date="2013-11-27.">
45 Natural numbers with infinity (ynat).
47 <news class="alpha" date="2011-08-10.">
51 <section4 name="structure">Logical Structure of the Specification</section4>
52 <body>This table reports the specification's components and their planes.
54 <table name="ground_src"/>