<tr>
<td class="snns component cyan">sizes</td>
<td class="snns plane cyan">files</td>
- <td class="snnn number cyan">327 </td>
+ <td class="snnn number cyan">328 </td>
<td class="snns plane cyan">characters</td>
- <td class="snnn number cyan">564871</td>
+ <td class="snnn number cyan">565577</td>
<td class="snns plane cyan">nodes</td>
- <td class="ssnn number cyan">1606196</td>
+ <td class="ssnn number cyan">1606912</td>
</tr>
<tr>
<td class="snns component green">propositions</td>
<td class="snns plane green">theorems</td>
<td class="snnn number green">105</td>
<td class="snns plane green">lemmas</td>
- <td class="snnn number green">1107</td>
+ <td class="snnn number green">1109</td>
<td class="snns plane green">total</td>
- <td class="ssnn number green">1212</td>
+ <td class="ssnn number green">1214</td>
</tr>
<tr>
<td class="snss component yellow">concepts</td>
</td>
<td class="snns file cyan">csx ( ⦃?,?⦄ ⊢ ⬊*[?,?] ? )</td>
<td class="snnn file cyan">csx_alt ( ⦃?,?⦄ ⊢ ⬊⬊*[?,?] ? )</td>
- <td class="snnn file cyan">csx_lift csx_lpx csx_fpbs</td>
+ <td class="snnn file cyan">csx_lift csx_lpx csx_lpxs csx_fpbs</td>
<td class="ssnn file cyan">
<br />
</td>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 21 Feb 2014 17:37:37 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 22 Feb 2014 12:36:18 +0100</div>
</body>
</html>