</td>
<td class="snns capitalize magenta">
<a href="http://lambdadelta.info/news.html#milestones">milestones</a>
</td>
<td class="snns capitalize magenta">
<a href="http://lambdadelta.info/news.html#milestones">milestones</a>
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</td>
<td class="ssnn capitalize green">
<a href="http://lambdadelta.info/implementation.html#helena">helena</a>
</td>
<td class="ssnn capitalize green">
</td>
<td class="snss capitalize magenta">
<a href="http://lambdadelta.info/news.html#visibility">visibility</a>
</td>
<td class="snss capitalize magenta">
<a href="http://lambdadelta.info/news.html#visibility">visibility</a>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
<td class="snnn right italic green">45</td>
<td class="snns italic green">lemmas</td>
</tr>
<tr>
<td class="snns capitalize italic green">propositions</td>
<td class="snns italic green">theorems</td>
<td class="snnn right italic green">45</td>
<td class="snns italic green">lemmas</td>
</tr>
<tr>
<td class="snss capitalize italic yellow">concepts</td>
<td class="snss italic yellow">declared</td>
<td class="snsn right italic yellow">23</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">23</td>
<td class="snss italic yellow">defined</td>