From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 4 Mar 2016 19:51:20 +0000 (+0000)
Subject: some corrections ...
X-Git-Tag: make_still_working~636
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bc389dd4724959688aafc1ede450794f47b8d0b5;p=helm.git

some corrections ...
---

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index ee8bd0394..4879a54c5 100644
--- 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 ( ↓? )</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>