update in basic_2 ...

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 749a9793b01e353069b6e6087f8366aa64bd7813..802b7073a03140a7b7177d54efbbd4c11cc2ed47 100644 (file)
--- a/helm/www/lambdadelta/BTM.html
+++ b/helm/www/lambdadelta/BTM.html
@@ -222,6 +222,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:21 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 79e915f3cf16d7ce97d02e37c6066d470b84ad32..73d1c902f1df33c35a3d582fd5c03f55bae29c8a 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -258,6 +258,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index b2abc489f7b7cf5306975eb3b48e154f86f39fff..f7e1408c8431d019cbc139ab89c19aceb3b2b69a 100644 (file)
--- a/helm/www/lambdadelta/basic_1.html
+++ b/helm/www/lambdadelta/basic_1.html
@@ -823,6 +823,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:21 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index a3ae17a575da759f33b34d74d13b3f42eeb9a44f..d98c7acf3bbac3abe5cd690c381ea222ab816c6c 100644 (file)
--- 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">165</td>
+            <td class="snnn right italic cyan">176</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">174741</td>
+            <td class="snnn right italic cyan">187422</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">938013</td>
+            <td class="ssnn right italic cyan">975011</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">36</td>
+            <td class="snnn right italic green">48</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">591</td>
+            <td class="snnn right italic green">636</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">627</td>
+            <td class="ssnn right italic green">684</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">24</td>
+            <td class="snsn right italic yellow">25</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">41</td>
+            <td class="snsn right italic yellow">44</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">65</td>
+            <td class="sssn right italic yellow">69</td>
           </tr>
         </tbody>
       </table>
@@ -404,7 +404,7 @@
               <br />
             </td>
             <td class="snns top water">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
-            <td class="ssnn top water">cpx_simple cpx_drops cpx_lsubr</td>
+            <td class="ssnn top water">cpx_simple cpx_drops cpx_fqus cpx_lsubr</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic water">
@@ -542,7 +542,7 @@
               <br />
             </td>
             <td class="snns top orange">lifts ( ⬆*[?] ? ≡ ? )</td>
-            <td class="ssnn top orange">lifts_simple lifts_weight lifts_lifts</td>
+            <td class="ssnn top orange">lifts_simple lifts_weight lifts_tdeq lifts_lifts</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic orange">
@@ -767,6 +767,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:21 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 9a1c11e4a0321bdb9fce69d3e5580437fc6c6092..9b6e5187afc689ebb987f583508637b04b71402e 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -401,6 +401,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 813741680d789b5d5954570f9670322b573b097d..658bdf0f483045db0b0e95382680660ca87615dd 100644 (file)
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -291,6 +291,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:21 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 333dc9c286673a1e0e93d5f1d79f77c182e3dc75..96a4a05ec21e737773e6c434aa5e858140d04a1d 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -136,7 +136,7 @@
             <td class="snns italic cyan">characters</td>
             <td class="snnn right italic cyan">135595</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">314345</td>
+            <td class="ssnn right italic cyan">314125</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
@@ -819,6 +819,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:21 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index 50fe181019e1957c7d576e4d8aa5ae66abae4d21..4cf44f119499c955b927cc96142cd4c7cd3d35c3 100644 (file)
--- a/helm/www/lambdadelta/home.html
+++ b/helm/www/lambdadelta/home.html
@@ -290,6 +290,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 874c7a7d4551d399510814c3973578452606c02b..558ff7cd9158a80a36f1c6cd00b78af2f42054c3 100644 (file)
--- a/helm/www/lambdadelta/implementation.html
+++ b/helm/www/lambdadelta/implementation.html
@@ -302,6 +302,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index fdf90985729cad32152f059d9f4db1a9c43cff9b..74ec2fdf220a04c193f5949704fdd4cc027ef17c 100644 (file)
--- a/helm/www/lambdadelta/news.html
+++ b/helm/www/lambdadelta/news.html
@@ -380,6 +380,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 3549cb8602ee1ec9223149949e5db0d37bee5d33..a3d6ac15f6928aa538754784ac8ec182e9368d55 100644 (file)
--- a/helm/www/lambdadelta/osn.html
+++ b/helm/www/lambdadelta/osn.html
@@ -197,6 +197,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index e797197d02fadd61338509df6a04f9b4f20215cd..fb5e38bf52b621e5aa0f476e3eb2d16b308d8f5d 100644 (file)
--- a/helm/www/lambdadelta/specification.html
+++ b/helm/www/lambdadelta/specification.html
@@ -378,6 +378,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 24 Jan 2017 18:22:20 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 26 Jan 2017 22:16:09 +0100</div>
   </body>
 </html>