<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"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010),
+ pp. 53-78].
</body>
<table name="apps_2_sum"/>
<news date="2012 February 24.">