</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
</tr>
<tr>
<td class="snss capitalize italic yellow">concepts</td>
<td class="snss italic yellow">declared</td>
<td class="snsn right italic yellow">30</td>
<td class="snss italic yellow">defined</td>
</tr>
<tr>
<td class="snss capitalize italic yellow">concepts</td>
<td class="snss italic yellow">declared</td>
<td class="snsn right italic yellow">30</td>
<td class="snss italic yellow">defined</td>
<td class="snns top capitalize italic sky">rt-computation</td>
<td class="snns top italic sky">uncounted context-sensitive rt-computation</td>
<td class="snns top sky">csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
<td class="snns top capitalize italic sky">rt-computation</td>
<td class="snns top italic sky">uncounted context-sensitive rt-computation</td>
<td class="snns top sky">csx_vector ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
- <td class="snns top italic red">same top term structure</td>
- <td class="snns top red">tsts ( ? ⩳[?,?] ? )</td>
- <td class="ssnn top red">tsts_simple tsts_tdeq tsts_tsts tsts_simple_vector</td>
+ <td class="snns top italic red">head equivalence for terms</td>
+ <td class="snns top red">theq ( ? ⩳[?,?] ? )</td>
+ <td class="ssnn top red">theq_simple theq_tdeq theq_theq theq_simple_vector</td>