notational change in basic_2

diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html
index b6c673da57ae6e9bb732c2853c4e751730a85c28..154c5439eb6c44374aa5ce421e3ff3e27cdf90b3 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, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:28 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 2d2f2a75ae4a36702c043c896d2a1cc02f05a55a..c8f02f7754b3de5e9e1ff66d53345a82807a9a12 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">1</td>
+            <td class="snnn right italic water">2</td>
             <td class="snns italic water">characters</td>
-            <td class="snnn right italic water">377</td>
+            <td class="snnn right italic water">594</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: Mon, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:29 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html
index e98378983fc9f2f8cfa1f7edc9e656c075a664c5..a1c6dd6eb13c7f0a10b6b2069dc6efdc6791ec11 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, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:28 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 24fd78c35f39e7718592e00e12fabbe9707b44c6..ba7649484baac736a81f363e076c315e1e8f861b 100644 (file)
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -146,18 +146,18 @@
             <td class="snns italic water">files</td>
             <td class="snnn right italic water">291</td>
             <td class="snns italic water">characters</td>
-            <td class="snnn right italic water">303444</td>
+            <td class="snnn right italic water">304017</td>
             <td class="snns italic water">nodes</td>
-            <td class="ssnn right italic water">1423927</td>
+            <td class="ssnn right italic water">1426457</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
-            <td class="snnn right italic green">85</td>
+            <td class="snnn right italic green">86</td>
             <td class="snns italic green">lemmas</td>
             <td class="snnn right italic green">1024</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">1109</td>
+            <td class="ssnn right italic green">1110</td>
           </tr>
           <tr>
             <td class="snss capitalize italic grass">concepts</td>
@@ -614,7 +614,7 @@
               <br />
             </td>
             <td class="snns top italic green">degree-based equivalence on referred entries</td>
-            <td class="snns top green">ffdeq ( â¦\83?,?,?â¦\84 â\89¡[?,?] ⦃?,?,?⦄ )</td>
+            <td class="snns top green">ffdeq ( â¦\83?,?,?â¦\84 â\89\9b[?,?] ⦃?,?,?⦄ )</td>
             <td class="ssnn top green">ffdeq_fqup ffdeq_ffdeq</td>
           </tr>
           <tr>
@@ -624,7 +624,7 @@
             <td class="nnns top italic green">
               <br />
             </td>
-            <td class="snns top green">lfdeq ( ? â\89¡[?,?,?] ? )</td>
+            <td class="snns top green">lfdeq ( ? â\89\9b[?,?,?] ? )</td>
             <td class="ssnn top green">lfdeq_length lfdeq_drops lfdeq_fqup lfdeq_fqus lfdeq_lfdeq</td>
           </tr>
           <tr>
@@ -774,7 +774,7 @@
               <br />
             </td>
             <td class="snns top italic red">degree-based equivalence</td>
-            <td class="snns top red">tdeq_ext ( ? â\89¡[?,?] ? ) ( ? â\8a¢ ? â\89¡[?,?] ? )</td>
+            <td class="snns top red">tdeq_ext ( ? â\89\9b[?,?] ? ) ( ? â\8a¢ ? â\89\9b[?,?] ? )</td>
             <td class="ssnn top red">
               <br />
             </td>
@@ -786,7 +786,7 @@
             <td class="nnns top italic red">
               <br />
             </td>
-            <td class="snns top red">tdeq ( ? â\89¡[?,?] ? )</td>
+            <td class="snns top red">tdeq ( ? â\89\9b[?,?] ? )</td>
             <td class="ssnn top red">tdeq_tdeq</td>
           </tr>
           <tr>
@@ -1004,6 +1004,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:30 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/core.html b/helm/www/lambdadelta/core.html
index d081e92e5d06894774ed02c87f09374e90224e4e..bbb53240e3654b237e77d352ce18b913e6c99ed9 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, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:29 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 02d43b916bc44cfe0a6b55521a00847cd5cb5268..c2836a039fab164c2fd0dd03ebc9bea1b25afb2d 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, 13 Nov 2017 18:11:07 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:27 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 5468da608ba323a2562105fa1b37c818a5bb4d9e..a60a94bf46afec487eec8dbfff0d25eb82794788 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, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:28 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index c6e8e1e908b4bf7776f9c71b575794a3cfd83d0a..60cd4328887fa60ec9d965b11bd7cca911d1448c 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">332273</td>
+            <td class="ssnn right italic water">332314</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: Mon, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:29 +0100</div>
   </body>
 </html>

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

diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html
index a7671b14bcc08d7f8e2daaa6eacb8dabfb59539c..0044990cd3d313eecb9883a570b5ca62db82b635 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, 13 Nov 2017 18:11:08 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:27 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html
index cd71c9ea7046f2b56a36a8d550f226e8f27eafd4..bdb4df1b622561375ae30e7eaf0cda262c52565b 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, 13 Nov 2017 18:11:07 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:26 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/osn.html b/helm/www/lambdadelta/osn.html
index 7711321df54888d62f762b64b86c1eb2d418cc44..96735b31001a1d622ed4c4d33f15b17886087953 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, 13 Nov 2017 18:11:07 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:28 +0100</div>
   </body>
 </html>

diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html
index fa657e3aaa6dccc9ff9f6e8163ff7c31366e5718..be057fc758b77cc9aef1a608595de834fe231080 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, 13 Nov 2017 18:11:07 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Tue, 14 Nov 2017 16:10:28 +0100</div>
   </body>
 </html>