<div xmlns:ld="http://lambdadelta.info/" class="text">
Informational pages on the specifications are provided.
</div>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice1">
<li>
<span class="emph alpha">Notice on displayed numerical acounts:</span>
nodes are counted according to the "intrinsic complexity measure"
Journal of Automated Reasoning 44(1-2), Springer (February 2010), pp. 53-78].
</li>
</ul>
- <ul xmlns:ld="http://lambdadelta.info/" id="">
+ <ul xmlns:ld="http://lambdadelta.info/" id="notice2">
<li>
<span class="emph alpha">Notice on displayed logical structures:</span>
from the logical standpoint, the source scripts are grouped in "planes"
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 12:08:04 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 30 Dec 2015 15:33:02 +0100</div>
</body>
</html>