X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=2944f7afec83185cc41f0d2a4a5ef7392ff5d4b4;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=1da837bc4bb5bd273c3af997571ea0dfc54e1e81;hpb=43998467c5ec5f1c8e1e988fc00e3255d2723ba4;p=helm.git

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 1da837bc4..2944f7afe 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">229</td>
+            <td class="snnn right italic cyan">238</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">240969</td>
+            <td class="snnn right italic cyan">249398</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1182308</td>
+            <td class="ssnn right italic cyan">1213337</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">61</td>
+            <td class="snnn right italic green">63</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">805</td>
+            <td class="snnn right italic green">838</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">866</td>
+            <td class="ssnn right italic green">901</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="snsn right italic yellow">66</td>
+            <td class="snsn right italic yellow">70</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">96</td>
+            <td class="sssn right italic yellow">100</td>
           </tr>
         </tbody>
       </table>
@@ -379,9 +379,7 @@
             <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="ssnn top sky">
-              <br />
-            </td>
+            <td class="ssnn top sky">csx_cnx_vector csx_csx_vector</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic sky">
@@ -391,7 +389,7 @@
               <br />
             </td>
             <td class="snns top sky">csx ( ⦃?,?⦄ ⊢ ⬈*[?,?] 𝐒⦃?⦄ )</td>
-            <td class="ssnn top sky">csx_cnx csx_cpxs csx_csx</td>
+            <td class="ssnn top sky">csx_simple csx_simple_theq csx_drops csx_lsubr csx_gcp csx_gcr csx_lfpx csx_cnx csx_cpxs csx_csx</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic sky">
@@ -411,7 +409,7 @@
               <br />
             </td>
             <td class="snns top sky">cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )</td>
-            <td class="ssnn top sky">cpxs_tdeq cpxs_tsts cpxs_tsts_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs</td>
+            <td class="ssnn top sky">cpxs_tdeq cpxs_theq cpxs_theq_vector cpxs_drops cpxs_lsubr cpxs_lfpx cpxs_cnx cpxs_cpxs</td>
           </tr>
           <tr>
             <td class="snns top capitalize italic cyan">rt-transition</td>
@@ -693,9 +691,9 @@
             <td class="nnns top capitalize italic red">
               <br />
             </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>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -890,6 +888,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 20:59:31 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 01 Apr 2017 16:50:39 +0200</div>
   </body>
 </html>