-<!-- <ul>
- <li>native type assignment with new rules for application: <span
- style="font-style: italic;">nty</span> (it replaces <span
- style="font-style: italic;">ty3</span>);<br>
- </li>
- <li>parallel conversion on focalized terms: <span
- style="font-style: italic;">fpcs</span> (it replaces <span
- style="font-style: italic;"></span><span style="font-style: italic;">pc3</span>);
- <br>
- </li>
- <li>new weak parallel reduction on environments: <span
- style="font-style: italic;">wcpr</span> <span
- style="font-style: italic;"></span>(it is based on <span
- style="font-style: italic;">fpr</span> and replaces <span
- style="font-style: italic;">wcpr0</span>); <br>
- </li>
- <li>parallel reduction on focalized terms: <span
- style="font-style: italic;">fpr</span> and <span
- style="font-style: italic;">fprs</span> (they replace <span
- style="font-style: italic;"></span><span style="font-style: italic;"></span><span
- style="font-style: italic;">pr2</span>, <span
- style="font-style: italic;">pr3</span>); <br>
- </li>
- </ul>
- <ul>
- <li>new thinning relation: <span
- style="font-style: italic;">drop</span>
-(it replaces the old <span style="font-style: italic;">drop</span>, <span
- style="font-style: italic;">clear</span>, <span
- style="font-style: italic;">getl</span>, <span
- style="font-style: italic;">cimp</span>, <span
- style="font-style: italic;">drop1</span>);</li>
- <li>new shift function: <span style="font-style: italic;">shift</span>:
-(it
-replaces
-
- <span style="font-style: italic;">app1</span>);</li>
- <li>new length function for environments: <span
- style="font-style: italic;">clen</span>;<br>
- </li>
- <li>new relocation function: <span
- style="font-style: italic;">lift</span> (it replaces old <span
- style="font-style: italic;">lift</span>, <span
- style="font-style: italic;">lift1</span>);<br>
- </li>
- <li>new term structure with polarity indicators and no
-distinction between binding and flat items;</li>
- <li>new general theory of relocation (comprises new
-relocation functions: <span style="font-style: italic;">s</span>, <span
- style="font-style: italic;">r</span>);</li>
- <li>we removed context-free reduction and conversion (<span
- style="font-style: italic;">pr0</span>, <span
- style="font-style: italic;">pr1</span>, <span
- style="font-style: italic;">pc1</span>);<br>
- </li>
- <li>we removed greedy substitution (<span
- style="font-style: italic;"></span><span style="font-style: italic;">csubst0</span>,
- <span style="font-style: italic;">csubst1</span>, <span
- style="font-style: italic;">fsubst0</span>, <span
- style="font-style: italic;">subst0</span>, <span
- style="font-style: italic;">subst1</span>);<br>
- </li>
- <li>we removed level indicators on environments (<span
- style="font-style: italic;">cbk</span>).</li>
- </ul>
--->