helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl

   1 <?xml version="1.0" encoding="UTF-8"?>
   2
   3 <!-- This file was generated by xhtbl.native, do not edit -->
   4
   5 <xsl:stylesheet version="1.0"
   6                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
   7                 xmlns="http://www.w3.org/1999/xhtml"
   8 >
   9
  10 <xsl:template name="ld_Ground_2_sum">
  11   <table cellpadding="4" cellspacing="0">
  12     <tbody>
  13       <tr>
  14         <td class="snns component grey">category</td>
  15         <td class="snns plane grey">objects</td>
  16         <td class="snnn number grey"><br/></td>
  17         <td class="snnn plane grey"><br/></td>
  18         <td class="snnn number grey"><br/></td>
  19         <td class="snnn plane grey"><br/></td>
  20         <td class="ssnn number grey"><br/></td>
  21       </tr>
  22       <tr>
  23         <td class="snns component green">propositions</td>
  24         <td class="snns plane green">theorems</td>
  25         <td class="snnn number green">0</td>
  26         <td class="snns plane green">lemmas</td>
  27         <td class="snnn number green">23</td>
  28         <td class="snns plane green">total</td>
  29         <td class="ssnn number green">23</td>
  30       </tr>
  31       <tr>
  32         <td class="snss component yellow">concepts</td>
  33         <td class="snss plane yellow">declared</td>
  34         <td class="snsn number yellow">22</td>
  35         <td class="snss plane yellow">defined</td>
  36         <td class="snsn number yellow">8</td>
  37         <td class="snss plane yellow">total</td>
  38         <td class="sssn number yellow">30</td>
  39       </tr>
  40     </tbody>
  41   </table>
  42 </xsl:template>
  43
  44 </xsl:stylesheet>