+ <div xmlns:ld="http://lambdadelta.info/" class="text">
+ <span class="date">Notice on numerical acounts:</span>
+ nodes are counted according to the "intrinsic complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
+ </div>