<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<meta name="author" content="Ferruccio Guidi" />
- <meta name="description" content="lambdadelta version 2" />
- <title>lambdadelta version 2</title>
+ <meta name="description" content="\lambda\delta version 2" />
+ <title>\lambda\delta version 2</title>
<link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/ld_web.css" />
<link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/lddl.css" />
<link rel="stylesheet" type="text/css" href="http://lambdadelta.info/css/xhtbl.css" />
<tr>
<td class="snns component cyan">sizes</td>
<td class="snns plane cyan">files</td>
- <td class="snnn number cyan">328 </td>
+ <td class="snnn number cyan">329 </td>
<td class="snns plane cyan">characters</td>
- <td class="snnn number cyan">565577</td>
+ <td class="snnn number cyan">567347</td>
<td class="snns plane cyan">nodes</td>
- <td class="ssnn number cyan">1606912</td>
+ <td class="ssnn number cyan">1610281</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">1109</td>
+ <td class="snnn number green">1114</td>
<td class="snns plane green">total</td>
- <td class="ssnn number green">1214</td>
+ <td class="ssnn number green">1219</td>
</tr>
<tr>
<td class="snss component yellow">concepts</td>
</td>
<td class="snns file cyan">fpbs ( ⦃?,?,?⦄ ≥[?,?] ⦃?,?,?⦄ )</td>
<td class="snnn file cyan">fpbs_alt ( ⦃?,?,?⦄ ≥≥[?,?] ⦃?,?,?⦄ )</td>
- <td class="snnn file cyan">fpbs_lift fpbs_aaa fpbs_fpns fpbs_fpbs</td>
+ <td class="snnn file cyan">fpbs_lift fpbs_aaa fpbs_fpns fpbs_fpbs fpbs_ext</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: Sat, 22 Feb 2014 12:36:18 +0100</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 24 Feb 2014 19:58:07 +0100</div>
</body>
</html>