some corrections ...

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index ee8bd0394eee6f167c0adce81cab804014f6819b..4879a54c502798802cd5a4288da9a6d650bd8d7e 100644 (file)
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -132,11 +132,11 @@
           <tr>
             <td class="snns capitalize italic cyan">sizes</td>
             <td class="snns italic cyan">files</td>
-            <td class="snnn right italic cyan">68</td>
+            <td class="snnn right italic cyan">69</td>
             <td class="snns italic cyan">characters</td>
-            <td class="snnn right italic cyan">83858</td>
+            <td class="snnn right italic cyan">83843</td>
             <td class="snns italic cyan">nodes</td>
-            <td class="ssnn right italic cyan">168408</td>
+            <td class="ssnn right italic cyan">168516</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
@@ -261,8 +261,8 @@
             <td class="snns top italic grass" />
             <td class="snns top grass">rtmap</td>
             <td class="snnn top grass">rtmap_eq ( ? ≗ ? )</td>
-            <td class="snnn top grass">rtmap_tl ( â\86\93? )</td>
-            <td class="snnn top grass">rtmap_minus ( ? - ? )</td>
+            <td class="snnn top grass">rtmap_tl ( ⫱? )</td>
+            <td class="snnn top grass">rtmap_tls ( ⫱*[?]? )</td>
             <td class="snnn top grass">rtmap_isid ( 𝐈⦃?⦄ )</td>
             <td class="snnn top grass">rtmap_id</td>
             <td class="snnn top grass">rtmap_sle ( ? ⊆ ? )</td>
@@ -326,14 +326,10 @@
           <tr>
             <td class="snns top capitalize italic yellow">extensions to the library</td>
             <td class="snns top italic yellow" />
-            <td class="snns top yellow">stream ( ? @ ? ) ( ? ≐ ? )</td>
-            <td class="snnn top yellow">stream_hdtl</td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
-            <td class="snnn top yellow">
-              <br />
-            </td>
+            <td class="snns top yellow">stream ( ? @ ? )</td>
+            <td class="snnn top yellow">stream_eq ( ? ≐ ? )</td>
+            <td class="snnn top yellow">stream_hdtl ( ↓? )</td>
+            <td class="snnn top yellow">stream_tls ( ↓*[?]? )</td>
             <td class="snnn top yellow">
               <br />
             </td>
@@ -566,6 +562,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 04 Mar 2016 16:15:58 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 04 Mar 2016 20:49:20 +0100</div>
   </body>
 </html>