update in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index c59dd2903d5865db6051567e00ddb0979c748202..b6c673da57ae6e9bb732c2853c4e751730a85c28 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: Thu, 09 Nov 2017 17:07:51 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 39b8776cadde63f1288b31b47001ab89000df7b9..2d2f2a75ae4a36702c043c896d2a1cc02f05a55a 100644 (file)
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -158,9 +158,9 @@
           <tr>
             <td class="snns capitalize italic water">sizes</td>
             <td class="snns italic water">files</td>
-            <td class="snnn right italic water">2</td>
+            <td class="snnn right italic water">1</td>
             <td class="snns italic water">characters</td>
-            <td class="snnn right italic water">594</td>
+            <td class="snnn right italic water">377</td>
             <td class="snns italic water">nodes</td>
             <td class="ssnn right italic water">779</td>
           </tr>
@@ -256,6 +256,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Nov 2017 17:07:52 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 9ebf0c5234b7c564adce059da635b75866872a5e..e98378983fc9f2f8cfa1f7edc9e656c075a664c5 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: Thu, 09 Nov 2017 17:07:51 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 833fdb2bba9df95b80023fc97c1e601af695cce6..24fd78c35f39e7718592e00e12fabbe9707b44c6 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 water">sizes</td>
             <td class="snns italic water">files</td>
-            <td class="snnn right italic water">286</td>
+            <td class="snnn right italic water">291</td>
             <td class="snns italic water">characters</td>
-            <td class="snnn right italic water">298298</td>
+            <td class="snnn right italic water">303444</td>
             <td class="snns italic water">nodes</td>
-            <td class="ssnn right italic water">1405805</td>
+            <td class="ssnn right italic water">1423927</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">83</td>
+            <td class="snnn right italic green">85</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">1012</td>
+            <td class="snnn right italic green">1024</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">1095</td>
+            <td class="ssnn right italic green">1109</td>
           </tr>
           <tr>
             <td class="snss capitalize italic grass">concepts</td>
             <td class="snss italic grass">declared</td>
-            <td class="snsn right italic grass">33</td>
+            <td class="snsn right italic grass">34</td>
             <td class="snss italic grass">defined</td>
             <td class="snsn right italic grass">84</td>
             <td class="snss italic grass">total</td>
-            <td class="sssn right italic grass">117</td>
+            <td class="sssn right italic grass">118</td>
           </tr>
         </tbody>
       </table>
@@ -400,6 +400,16 @@
           <tr>
             <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">lsubsx ( ? ⊢ ? ⊆ⓧ[?,?,?] ? )</td>
+            <td class="ssnn top sky">lsubsx_lfsx lsubsx_lsubsx</td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic sky">
+              <br />
+            </td>
+            <td class="nnns top italic sky">
+              <br />
+            </td>
             <td class="snns top sky">lfsx ( ? ⊢ ⬈*[?,?,?] 𝐒⦃?⦄ )</td>
             <td class="ssnn top sky">lfsx_drops lfsx_fqup lfsx_lfpxs lfsx_lfsx</td>
           </tr>
@@ -994,6 +1004,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Nov 2017 17:07:53 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index e53f5e2e7ef66545fc5374353fb0487680041c26..d081e92e5d06894774ed02c87f09374e90224e4e 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: Thu, 09 Nov 2017 17:07:52 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 99a3b8af8806960c2caef04680b96a7adfcad477..02d43b916bc44cfe0a6b55521a00847cd5cb5268 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: Thu, 09 Nov 2017 17:07:50 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:07 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index c20eea587581373fd73b98c39869ff2c060bdf14..5468da608ba323a2562105fa1b37c818a5bb4d9e 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: Thu, 09 Nov 2017 17:07:51 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 584c3f619ea02b37e5e96b93d12a3f5ad94ed20e..c6e8e1e908b4bf7776f9c71b575794a3cfd83d0a 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -136,7 +136,7 @@
             <td class="snns italic water">characters</td>
             <td class="snnn right italic water">143239</td>
             <td class="snns italic water">nodes</td>
-            <td class="ssnn right italic water">332314</td>
+            <td class="ssnn right italic water">332273</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
@@ -881,6 +881,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Nov 2017 17:07:52 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index e05022cebac20d682e5ffe4195ca6dbb949f418a..10d78792f322b4217a7ab1a24cd1e1ed0e07f6bc 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: Thu, 09 Nov 2017 17:07:49 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:07 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 59c55db4eb28c886e117f232cbb35e093269a06d..a7671b14bcc08d7f8e2daaa6eacb8dabfb59539c 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: Thu, 09 Nov 2017 17:07:50 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index ec622bccae904cc9f339ecbaf0da770f230c3ac4..cd71c9ea7046f2b56a36a8d550f226e8f27eafd4 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: Thu, 09 Nov 2017 17:07:49 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:07 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 614e5a1688ed75dbedee63cefe5446426469ce4b..7711321df54888d62f762b64b86c1eb2d418cc44 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: Thu, 09 Nov 2017 17:07:50 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:07 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index 4bccd39c11f2efd2a024b3a75618f294412661f8..fa657e3aaa6dccc9ff9f6e8163ff7c31366e5718 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: Thu, 09 Nov 2017 17:07:51 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:07 +0100</div>
   </body>
 </html>