update in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index e63f9acccd69b79247185336674b4b079bde0b3d..6f6477370679e6a032d232707db0bef67474ac40 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: Sat, 11 Mar 2017 19:30:41 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index e754a6e29b9596e4afd8a0d9d687006b6fac9964..76ac09b7164f530be6a346faa4921af150466a85 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -278,6 +278,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index d160de5dd84d9fe70a94cf6919c2e9c4b5847fda..d643aa7012f086d3736e881eb6505613ca2b5933 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: Sat, 11 Mar 2017 19:30:41 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c694c00dfdb8a85916b107a1a1d383a82dda6742..8ac36a2da470a0fc250d50f19eff7f7c3f3df5a1 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">213</td>
+            <td class="snnn right italic cyan">228</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">224345</td>
+            <td class="snnn right italic cyan">239693</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1097549</td>
+            <td class="ssnn right italic cyan">1177508</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="snns italic green">lemmas</td>
-            <td class="snnn right italic green">743</td>
+            <td class="snnn right italic green">801</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">804</td>
+            <td class="ssnn right italic green">862</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
-            <td class="snsn right italic yellow">29</td>
+            <td class="snsn right italic yellow">30</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">65</td>
+            <td class="snsn right italic yellow">66</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">94</td>
+            <td class="sssn right italic yellow">96</td>
           </tr>
         </tbody>
       </table>
@@ -370,7 +370,7 @@
           </tr>
           <tr>
             <td class="snns top capitalize italic sky">rt-computation</td>
-            <td class="snns top italic sky">uncounted context-sensitive rt-transition</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 />
@@ -404,15 +404,23 @@
               <br />
             </td>
             <td class="snns top sky">cpxs ( ⦃?,?⦄ ⊢ ? ⬈*[?] ? )</td>
-            <td class="ssnn top sky">cpxs_tdeq cpxs_drops cpxs_lfpx cpxs_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>
           </tr>
           <tr>
             <td class="snns top capitalize italic cyan">rt-transition</td>
-            <td class="snns top italic cyan">parallel qrst-transition</td>
-            <td class="snns top cyan">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
-            <td class="ssnn top cyan">
+            <td class="snns top italic cyan">parallel rst-transition</td>
+            <td class="snns top cyan">fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ )</td>
+            <td class="ssnn top cyan">fpbq_aaa</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
               <br />
             </td>
+            <td class="nnns top italic cyan">
+              <br />
+            </td>
+            <td class="snns top cyan">fpb ( ⦃?,?,?⦄ ≻[?,?] ⦃?,?,?⦄ )</td>
+            <td class="ssnn top cyan">fpb_lfdeq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic cyan">
@@ -448,7 +456,7 @@
             </td>
             <td class="snns top italic cyan">uncounted context-sensitive rt-transition</td>
             <td class="snns top cyan">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
-            <td class="ssnn top cyan">cnx_simple cnx_drops</td>
+            <td class="ssnn top cyan">cnx_simple cnx_drops cnx_cnx</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic cyan">
@@ -548,7 +556,7 @@
               <br />
             </td>
             <td class="snns top green">lfdeq ( ? ≡[?,?,?] ? )</td>
-            <td class="ssnn top green">lfdeq_length lfdeq_fqup lfdeq_lfdeq</td>
+            <td class="ssnn top green">lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic green">
@@ -678,17 +686,17 @@
             <td class="nnns top capitalize italic red">
               <br />
             </td>
-            <td class="snns top italic red">degree-based equivalence for terms</td>
-            <td class="snns top red">deq ( ? ≡[?,?] ? ) </td>
-            <td class="ssnn top red">deq_deq</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>
           </tr>
           <tr>
             <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_tsts tsts_vector</td>
+            <td class="snns top italic red">degree-based equivalence for terms</td>
+            <td class="snns top red">deq ( ? ≡[?,?] ? ) </td>
+            <td class="ssnn top red">deq_deq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -875,6 +883,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 11 Mar 2017 19:30:41 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 170d355ddbbe4e93fc7e55961d895d32febd1086..04a2b0321a872bf663478c48d98cf0878b85493f 100644 (file)
--- a/helm/www/lambdadelta/core.html
+++ b/helm/www/lambdadelta/core.html
@@ -7116,6 +7116,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 9a7d91b3a1563249904af160e8a3aee95c5330ae..828ce0a9a2285cbb923390cf52f0c3e83c8cb943 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 768502a4da75953816c1c3bbaf494ae35ac299ae..e36617355196a501d1a67e53de29e772f64aa84c 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: Sat, 11 Mar 2017 19:30:41 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 36c3513b093449a234913096156fe0665c0c0c34..5a743322a14f694d6182feaf364c573ffb33865d 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -819,6 +819,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:18 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index b4c9a726d6029f0538ed0dca22360412a21d806d..13cd8e340f6e3b540136e171697812a74341ea23 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index e6cb4c1f76647986b8e048b1b5ad83812afbba02..f8cfef85ea72f43ff3f0f05c05ca38f54c5950d0 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index a92c560b7b3106a27b6964f074b28b0491675a32..fe8cf03c9b863f89d2c68b6117a8e321bc7f57f1 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 45166f8ad99184a911a029f567df85e88cd0b71f..4cd6148cd65b706f0dd3271f52de7fd88f4fd4a9 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: Sat, 11 Mar 2017 19:30:39 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:16 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index c627c3cb196be8cb1076d78df4034567ec0d453e..cd9c6e297d438b2a39739a99fff6e1a62a8c3ba5 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: Sat, 11 Mar 2017 19:30:40 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 16 Mar 2017 17:22:17 +0100</div>
   </body>
 </html>