update in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 0fce455b279a0197379c3449a2a7870eeec17152..003567a0a31a25d8fc7030b07c37e3b787010c09 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: Mon, 23 Oct 2017 19:19:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 9fec51d2a6089a4c7f3bc4c67c9950ac7e441163..36e10d536b6cefc46880dfbe7d60c514bafb2915 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -251,6 +251,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:03 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 12f13e407074dcd5063ad8c1c72d16b95451e9de..8da18471b2e45562d432d26ee2b3a57471e037a2 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: Mon, 23 Oct 2017 19:19:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c301a2d39a3b0427670a7f30fa12e42683d11938..2a1e5122cdd8fbd54216d304a32a2aad9bc53ed3 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">229</td>
+            <td class="snnn right italic cyan">244</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">234579</td>
+            <td class="snnn right italic cyan">255638</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">1140037</td>
+            <td class="ssnn right italic cyan">1250056</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">62</td>
+            <td class="snnn right italic green">71</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">814</td>
+            <td class="snnn right italic green">866</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">876</td>
+            <td class="ssnn right italic green">937</td>
           </tr>
           <tr>
             <td class="snss capitalize italic yellow">concepts</td>
             <td class="snss italic yellow">declared</td>
             <td class="snsn right italic yellow">31</td>
             <td class="snss italic yellow">defined</td>
-            <td class="snsn right italic yellow">79</td>
+            <td class="snsn right italic yellow">80</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">110</td>
+            <td class="sssn right italic yellow">111</td>
           </tr>
         </tbody>
       </table>
@@ -391,8 +391,54 @@
               <br />
             </td>
           </tr>
+          <tr>
+            <td class="snns top capitalize italic blue">rt-conversion</td>
+            <td class="snns top italic blue">context-sensitive r-conversion</td>
+            <td class="snns top blue">cpc ( ⦃?,?⦄ ⊢ ? ⬌[?] ? )</td>
+            <td class="ssnn top blue">cpc_cpc</td>
+          </tr>
           <tr>
             <td class="snns top capitalize italic cyan">rt-transition</td>
+            <td class="snns top italic cyan">t-bound context-sensitive rt-transition</td>
+            <td class="snns top cyan">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
+            <td class="ssnn top cyan">lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</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">cpr_ext ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+            <td class="ssnn top cyan">
+              <br />
+            </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">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+            <td class="ssnn top cyan">cpr_drops</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">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
+            <td class="ssnn top cyan">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic cyan">
+              <br />
+            </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 cnx_cnx</td>
@@ -405,7 +451,7 @@
               <br />
             </td>
             <td class="snns top cyan">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
-            <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_lfpx</td>
+            <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_cpx lfpx_lfpx</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic cyan">
@@ -654,7 +700,7 @@
               <br />
             </td>
             <td class="snns top italic red">degree-based equivalence</td>
-            <td class="snns top red">tdeq_ext ( ? ≡[?,?] ? )</td>
+            <td class="snns top red">tdeq_ext ( ? ≡[?,?] ? ) ( ? ⊢ ? ≡[?,?] ? )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -884,6 +930,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:04 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:24 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 89dbc10ce5070463f037aca9272c8fe3eb55e3cc..81a935ac3b9961d1f5776e64fd8f6ad6a8ffa052 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: Mon, 23 Oct 2017 19:19:03 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 59b27187f0be41a5e7684a3e5d58613b7aa28cf0..be18b0d95fbedc93f09cae5ab104f8d00466a41e 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: Mon, 23 Oct 2017 19:19:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:20 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index f889e6bd464354b7672a3af66ca2ed30d25a5c7e..6fedef279813d2b531fd963bd4e5be062b1b3ce5 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: Mon, 23 Oct 2017 19:19:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 8a22ab925ea6424271c18a604faef968a40e1379..b0c18b25c64b53dc7ed217fa1129a94c35a50f44 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -881,6 +881,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:03 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index 66b3c6d2289f82db2d1aed2ce9199f67cdd6eb25..b4b0871c85842fcf75e6567f4e6a5f96d7f7afe9 100644 (file)
--- a/helm/www/lambdadelta/home.html
+++ b/helm/www/lambdadelta/home.html
@@ -297,6 +297,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 23 Oct 2017 19:19:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:20 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 2e4b1351bd5c13a019d406288902033a4681175a..e1417843570359583c8c7ef0a4b9467d26894c93 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: Mon, 23 Oct 2017 19:19:01 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index 8e49df35f2bf56fcd92741b181ed0b6c0fd234b8..700c80869997985fbe89174b5051563f7325b046 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: Mon, 23 Oct 2017 19:19:00 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:20 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index d786eafefa1125664de70e1710d75b2dffe9e069..8e5bc9abb2c9818eb4f24ee2243b969a97f3ab81 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: Mon, 23 Oct 2017 19:19:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 68fd14935e9a77242970ae0069ac54ae5e80dfa9..a3e46bcbad475348bc70451cf91d5e13c2825092 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: Mon, 23 Oct 2017 19:19:02 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Wed, 25 Oct 2017 15:23:21 +0200</div>
   </body>
 </html>