- <td class="snns component yellow">unfold</td>
- <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">partial unfold</td>
- <td class="snns file yellow">ltpss_sn ( ? ⊢ ▶*[?,?] ? )</td>
- <td class="snnn file yellow">ltpss_sn_alt ( ? ⊢ ▶▶*[?,?] ? )</td>
- <td class="snnn file yellow">ltpss_sn_ldrop ltpss_sn_tps ltpss_sn_tpss ltpss_sn_ltpss_sn</td>
+ <td class="snns component yellow">substitution</td>
+ <td class="snns plane yellow">parallel substitution</td>
+ <td class="snns file yellow">lpss ( ? ⊢ ▶* ? )</td>
+ <td class="snnn file yellow">lpss_ldrop lpss_cpss lpss_lpss</td>