- update in Basic_2

[helm.git] / helm / www / lambda_delta / xslt / ld_Ground_2_sum.xsl

diff --git a/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl b/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
deleted file mode 100644 (file)
index db1af39..0000000
--- a/helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
+++ /dev/null
@@ -1,44 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-
-<!-- This file was generated by xhtbl.native, do not edit -->
-
-<xsl:stylesheet version="1.0"
-                xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-                xmlns="http://www.w3.org/1999/xhtml"
->
-
-<xsl:template name="ld_Ground_2_sum">
-  <table cellpadding="4" cellspacing="0">
-    <tbody>
-      <tr>
-        <td class="snns component grey">category</td>
-        <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>
-        <td class="snns component green">propositions</td>
-        <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>
-        <td class="snss component yellow">concepts</td>
-        <td class="snss plane yellow">declared</td>
-        <td class="snsn number yellow">22</td>
-        <td class="snss plane yellow">defined</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>
-</xsl:template>
-
-</xsl:stylesheet>