title = "lambda_delta version 2"
head = "cic:/matita/lambda_delta/Basic_2/ (λδ version 2)"
>
- <ld:section>Summary of the contribution</ld:section>
- <ld:body>Here is a numerical acount of the contribution's contents
+ <ld:section>System's Syntax and Behavior</ld:section>
+ <ld:body>This is a summary of the "block structure"
+ of the System's syntactic items and reductions.
+ </ld:body>
+ <ld:table name="ld_basic_2_blk"/>
+ <ld:body>* In terms only.
+ ** In terms and local environments only.
+ *** In global environments only.
+ **** Sort level k in terms only.
+ </ld:body>
+
+ <ld:section>Summary of the Specification</ld:section>
+ <ld:body>Here is a numerical acount of the specification's contents
and its timeline.
</ld:body>
<ld:table name="ld_Basic_2_sum"/>
<ld:news date="2011 April 17.">
Specification started.
</ld:news>
- <ld:section>Logical structure of the contribution</ld:section>
+
+ <ld:section>Logical Structure of the Specification</ld:section>
<ld:body>The source files are grouped in planes and components
according to the following table.
The notation for the relations or functions introduced in each file
is shown in parentheses.
</ld:body>
<ld:table name="ld_basic_2_src"/>
- <ld:section>Physical structure of the contribution</ld:section>
+
+ <ld:section>Physical Structure of the Specification</ld:section>
<ld:body>The source files are grouped in directories, one for each
component.
</ld:body>