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/static_2/ (syntactic components of λδ version 2)"
9 <sitemap name="sitemap"/>
11 <section4 name="contents">Contents of the Specification</section4>
12 <body>This specification contains the syntactic components of λδ version 2
13 that every forthcoming system of the λδ family will share.
16 <section4 name="summary">Summary of the Specification</section4>
17 <body>Here is a numerical account of the specification's contents
20 <table name="static_2_sum"/>
22 <news class="alpha" date="2018 June 30.">
23 The specification stands alone.
26 <section4 name="structure">Logical Structure of the Specification</section4>
27 <body>This table reports the specification's components and their planes.
29 <table name="static_2_src"/>