- <td class="snns plane yellow">basic local env. thinning</td>
- <td class="snns file yellow">thin ( ? ▼*[?,?] ≡ ? )</td>
- <td class="snnn file yellow">thin_ldrop thin_delift</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">inverse basic term relocation</td>
- <td class="snns file yellow">delift ( ? ⊢ ? ▼*[?,?] ≡ ? )</td>
- <td class="snnn file yellow">delift_alt ( ? ⊢ ? ▼▼*[?,?] ≡ ? )</td>
- <td class="snnn file yellow">delift_lift delift_tpss delift_ltpss delift_delift</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">revised parallel substitution</td>