X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=4fb7ca3042dac77076ca9a106af119f97a90ad74;hb=21cdb9ffad749e518ca273641a180697c53ef4da;hp=bc6e16b642df4cca16e62c5ae24bea03c62e3b71;hpb=e11ce46390f264e9010157dd36c0b9e71a58ba4b;p=helm.git

diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index bc6e16b64..4fb7ca304 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -112,7 +112,7 @@
         <tbody>
           <tr>
             <td class="snns capitalize italic gray">category</td>
-            <td class="snns italic gray">objects</td>
+            <td class="snns italic gray">units</td>
             <td class="snnn right italic gray">
               <br />
             </td>
@@ -131,30 +131,30 @@
           </tr>
           <tr>
             <td class="snns capitalize italic water">sizes</td>
-            <td class="snns italic water">files</td>
-            <td class="snnn right italic water">102</td>
-            <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="snns italic water">characters (files)</td>
+            <td class="snnn right italic water">145725 (104)</td>
+            <td class="snns italic water">nodes (objects)</td>
+            <td class="snnn right italic water">337452 (911)</td>
+            <td class="snns italic water">intrinsic loss factor</td>
+            <td class="ssnn right italic water">2.3</td>
           </tr>
           <tr>
             <td class="snns capitalize italic green">propositions</td>
             <td class="snns italic green">theorems</td>
             <td class="snnn right italic green">42</td>
             <td class="snns italic green">lemmas</td>
-            <td class="snnn right italic green">679</td>
+            <td class="snnn right italic green">693</td>
             <td class="snns italic green">total</td>
-            <td class="ssnn right italic green">721</td>
+            <td class="ssnn right italic green">735</td>
           </tr>
           <tr>
             <td class="snss capitalize italic grass">concepts</td>
             <td class="snss italic grass">declared</td>
-            <td class="snsn right italic grass">65</td>
+            <td class="snsn right italic grass">66</td>
             <td class="snss italic grass">defined</td>
-            <td class="snsn right italic grass">70</td>
+            <td class="snsn right italic grass">73</td>
             <td class="snss italic grass">total</td>
-            <td class="sssn right italic grass">135</td>
+            <td class="sssn right italic grass">139</td>
           </tr>
         </tbody>
       </table>
@@ -260,6 +260,9 @@
             <td class="snnn top gray">
               <br />
             </td>
+            <td class="snnn top gray">
+              <br />
+            </td>
             <td class="ssnn top gray">
               <br />
             </td>
@@ -314,6 +317,9 @@
             <td class="snnn top water">
               <br />
             </td>
+            <td class="snnn top water">
+              <br />
+            </td>
             <td class="ssnn top water">
               <br />
             </td>
@@ -335,6 +341,7 @@
             <td class="snnn top green">rtmap_isuni ( 𝐔⦃?⦄ )</td>
             <td class="snnn top green">rtmap_uni ( 𝐔❴?❵ )</td>
             <td class="snnn top green">rtmap_sle ( ? ⊆ ? )</td>
+            <td class="snnn top green">rtmap_sdj ( ? ∥ ? )</td>
             <td class="snnn top green">rtmap_sand ( ? ⋒ ? ≡ ? )</td>
             <td class="snnn top green">rtmap_sor ( ? ⋓ ? ≡ ? )</td>
             <td class="snnn top green">rtmap_at ( @⦃?,?⦄ ≡ ? )</td>
@@ -364,6 +371,7 @@
             <td class="snnn top green" />
             <td class="snnn top green" />
             <td class="snnn top green" />
+            <td class="snnn top green" />
             <td class="snnn top green">nstream_sor</td>
             <td class="snnn top green" />
             <td class="snnn top green">nstream_istot ( ?@❴?❵ )</td>
@@ -426,6 +434,9 @@
             <td class="snnn top green">
               <br />
             </td>
+            <td class="snnn top green">
+              <br />
+            </td>
             <td class="ssnn top green">
               <br />
             </td>
@@ -478,6 +489,9 @@
             <td class="snnn top grass">
               <br />
             </td>
+            <td class="snnn top grass">
+              <br />
+            </td>
             <td class="ssnn top grass">
               <br />
             </td>
@@ -534,6 +548,9 @@
             <td class="snnn top yellow">
               <br />
             </td>
+            <td class="snnn top yellow">
+              <br />
+            </td>
             <td class="ssnn top yellow">
               <br />
             </td>
@@ -598,6 +615,9 @@
             <td class="snnn top yellow">
               <br />
             </td>
+            <td class="snnn top yellow">
+              <br />
+            </td>
             <td class="ssnn top yellow">
               <br />
             </td>
@@ -662,6 +682,9 @@
             <td class="snnn top yellow">
               <br />
             </td>
+            <td class="snnn top yellow">
+              <br />
+            </td>
             <td class="ssnn top yellow">
               <br />
             </td>
@@ -673,7 +696,7 @@
             <td class="nnns top italic yellow">
               <br />
             </td>
-            <td class="snns top yellow">relations</td>
+            <td class="snns top yellow">relations ( ? ⊆ ? )</td>
             <td class="snnn top yellow">star</td>
             <td class="snnn top yellow">lstar</td>
             <td class="snnn top yellow">
@@ -724,6 +747,9 @@
             <td class="snnn top yellow">
               <br />
             </td>
+            <td class="snnn top yellow">
+              <br />
+            </td>
             <td class="ssnn top yellow">
               <br />
             </td>
@@ -784,6 +810,9 @@
             <td class="snnn top orange">
               <br />
             </td>
+            <td class="snnn top orange">
+              <br />
+            </td>
             <td class="ssnn top orange">
               <br />
             </td>
@@ -848,6 +877,9 @@
             <td class="snsn top red">
               <br />
             </td>
+            <td class="snsn top red">
+              <br />
+            </td>
             <td class="sssn top red">
               <br />
             </td>
@@ -881,6 +913,6 @@
     <div xmlns:ld="http://lambdadelta.info/" class="spacer">
       <br />
     </div>
-    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 03 Nov 2017 19:18:58 +0100</div>
+    <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Fri, 24 Nov 2017 21:00:01 +0100</div>
   </body>
 </html>