X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fxslt%2Fld_Ground_2_sum.xsl;fp=helm%2Fwww%2Flambda_delta%2Fxslt%2Fld_Ground_2_sum.xsl;h=db1af39542a8bba9e0d3938b914e0826ff729d03;hb=ff11fcced84c3e18f0f73be101bc7b2086fc0a52;hp=24badffe370ab2cb3bd2140d0376d3749984898e;hpb=f21509c476b20e5446335c967b1e81f87ceb4f6c;p=helm.git

diff --git a/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl b/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
index 24badffe3..db1af3954 100644
--- a/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
+++ b/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
@@ -15,6 +15,8 @@
         <td class="snns plane grey">objects</td>
         <td class="snnn number grey"><br/></td>
         <td class="snnn plane grey"><br/></td>
+        <td class="snnn number grey"><br/></td>
+        <td class="snnn plane grey"><br/></td>
         <td class="ssnn number grey"><br/></td>
       </tr>
       <tr>
@@ -22,6 +24,8 @@
         <td class="snns plane green">theorems</td>
         <td class="snnn number green">0</td>
         <td class="snns plane green">lemmas</td>
+        <td class="snnn number green">23</td>
+        <td class="snns plane green">total</td>
         <td class="ssnn number green">23</td>
       </tr>
       <tr>
@@ -29,7 +33,9 @@
         <td class="snss plane yellow">declared</td>
         <td class="snsn number yellow">22</td>
         <td class="snss plane yellow">defined</td>
-        <td class="sssn number yellow">8</td>
+        <td class="snsn number yellow">8</td>
+        <td class="snss plane yellow">total</td>
+        <td class="sssn number yellow">30</td>
       </tr>
     </tbody>
   </table>