1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- This file was generated by xhtbl.native, do not edit -->
5 <xsl:stylesheet version="1.0"
6 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
7 xmlns="http://www.w3.org/1999/xhtml"
10 <xsl:template name="ld_Ground_2_sum">
11 <table cellpadding="4" cellspacing="0">
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="ssnn number grey"><br/></td>
21 <td class="snns component green">propositions</td>
22 <td class="snns plane green">theorems</td>
23 <td class="snnn number green">0</td>
24 <td class="snns plane green">lemmas</td>
25 <td class="ssnn number green">23</td>
28 <td class="snss component yellow">concepts</td>
29 <td class="snss plane yellow">declared</td>
30 <td class="snsn number yellow">22</td>
31 <td class="snss plane yellow">defined</td>
32 <td class="sssn number yellow">8</td>