]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl
additions to Basic_2 ...
[helm.git] / helm / www / lambda_delta / xslt / ld_Ground_2_sum.xsl
index 7477a67ba1beb4cc8b8413d65d05cb3b83f09564..24badffe370ab2cb3bd2140d0376d3749984898e 100644 (file)
@@ -27,7 +27,7 @@
       <tr>
         <td class="snss component yellow">concepts</td>
         <td class="snss plane yellow">declared</td>
-        <td class="snsn number yellow">21</td>
+        <td class="snsn number yellow">22</td>
         <td class="snss plane yellow">defined</td>
         <td class="sssn number yellow">8</td>
       </tr>