Algorithm 5-3 LA compress-ext-C

Here follow, in alphabetical order on the predicates, some logic algorithms for some problems posed in Section 1.5. We do not explain their design processes, but give 

Example 5-1 The following logic algorithm for delOddElems L,R) has been designed with L as induction parameter. A design with R as induction parameter would yield a quite similar logic algorithm. 

---