<section>Summary of the Specification</section>
<body>Here is a numerical acount of the specification's contents
and its timeline.
<section>Summary of the Specification</section>
<body>Here is a numerical acount of the specification's contents
and its timeline.
- Nodes are counted according to the "intrinsinc complexity measure"
- [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Nodes are counted according to the "intrinsinc complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
commute with respect to subclosure
(anniversary milestone).
</news>
<news date="2013 March 16.">
Mutual recursive preservation of stratified native validity
commute with respect to subclosure
(anniversary milestone).
</news>
<news date="2013 March 16.">
Mutual recursive preservation of stratified native validity
<section>Logical Structure of the Specification</section>
<body>The source files are grouped in planes and components
according to the following table.
<section>Logical Structure of the Specification</section>
<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 (? are placeholders).
</body>
The notation for the relations or functions introduced in each file
is shown in parentheses (? are placeholders).
</body>