update in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index 90f63462623d813e7a1a0f0f6e730e609a86e4f0..58120fdc02112d26e850a2013ad25b97367513c8 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, 17 Oct 2017 17:26:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index ff26218fea1eb77ef9ba125c701af6b4731d960b..0e24182f59af718b6bcee21168b6f9d5aa705b6a 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: Tue, 17 Oct 2017 17:26:54 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index 7582db951a74b97dfbff814adbf52ffbb2397366..10a859fef3e71f8f158ef5df6907bd97e78539ec 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, 17 Oct 2017 17:26:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index c4e4b3cba0b3fdd9ed78ce370abbb2a62d3cda5c..374c3a7db77cd311b68881174df388362bc7e6ad 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">210</td>
+            <td class="snnn right italic cyan">212</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">207234</td>
+            <td class="snnn right italic cyan">213959</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">980390</td>
+            <td class="ssnn right italic cyan">1057531</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="snns italic green">lemmas</td>
-            <td class="snnn right italic green">732</td>
+            <td class="snnn right italic green">741</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">794</td>
+            <td class="ssnn right italic green">803</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">77</td>
+            <td class="snsn right italic yellow">78</td>
             <td class="snss italic yellow">total</td>
-            <td class="sssn right italic yellow">108</td>
+            <td class="sssn right italic yellow">109</td>
           </tr>
         </tbody>
       </table>
@@ -391,6 +391,12 @@
               <br />
             </td>
           </tr>
+          <tr>
+            <td class="snns top capitalize italic cyan">rt-transition</td>
+            <td class="snns top italic cyan">counted context-sensitive rt-transition</td>
+            <td class="snns top cyan">cpg ( ⦃?,?⦄ ⊢ ? ⬈[?,?] ? )</td>
+            <td class="ssnn top cyan">cpg_simple cpg_drops cpg_lsubr</td>
+          </tr>
           <tr>
             <td class="snns top capitalize italic water">iterated static typing</td>
             <td class="snns top italic water">iterated extension on referred entries</td>
@@ -607,9 +613,21 @@
             <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">tdeq ( ? ≡[?,?] ? ) </td>
-            <td class="ssnn top red">tdeq_ext tdeq_tdeq</td>
+            <td class="snns top italic red">degree-based equivalence</td>
+            <td class="snns top red">tdeq_ext ( ? ≡[?,?] ? )</td>
+            <td class="ssnn top red">
+              <br />
+            </td>
+          </tr>
+          <tr>
+            <td class="nnns top capitalize italic red">
+              <br />
+            </td>
+            <td class="nnns top italic red">
+              <br />
+            </td>
+            <td class="snns top red">tdeq ( ? ≡[?,?] ? )</td>
+            <td class="ssnn top red">tdeq_tdeq</td>
           </tr>
           <tr>
             <td class="nnns top capitalize italic red">
@@ -826,6 +844,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 17:26:54 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:24 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index 66842693ab0f5053e4bbd89892944af60f19b14b..99e70892024dc9d5927de92b7bf42c034983cbc4 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: Tue, 17 Oct 2017 17:26:54 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index f5af9a055d52f7e92978af6e5d97433e368a0e04..5831c0ffc90879b14f6c131b4017e618036a1bb3 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, 17 Oct 2017 17:26:51 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 9bda20c860574ec9aefe1360fd760ac17df6e406..cc6985d6e1783b11fe9cedc846ce4750107905b4 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, 17 Oct 2017 17:26:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index de8110cf45bf87be1213b25a834058f3793d8b3f..4a287685c246d0ad1e82380c8d09d3c7de587799 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: Tue, 17 Oct 2017 17:26:53 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:23 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/home.html b/helm/www/lambdadelta/home.html
index 7995f2bc805549c00135aec73a38ae5dbdf1d642..bf312f8ef8b67b71574cb55c001b11708b443ef8 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: Tue, 17 Oct 2017 17:26:51 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index 37fd9a7868bc11cbc4d678c473e655d2f31ce924..f63f438ca288039772cc42afe798759ea41aaff5 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, 17 Oct 2017 17:26:51 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index b5da444f50b3cb301d0aa80df2a28c8f6b70bc95..9264162d900f01b061421bd3c631ba12ab0c6f48 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, 17 Oct 2017 17:26:51 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:20 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index a201444f81fdd3461efad4d98664bb4f372088bb..06be4bd61bda39fd085a978e401cbc46e58b6971 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, 17 Oct 2017 17:26:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:21 +0200</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index c715b7c1eeaa280f5aea63cbb3cae0ecd8b9ea21..7109250d72f96e856fa156f16870f62d12b12af9 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, 17 Oct 2017 17:26:52 +0200</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 17 Oct 2017 20:34:22 +0200</div>
   </body>
 </html>