From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 9 Nov 2008 10:27:38 +0000 (+0000)
Subject: auto-param "size" missing
X-Git-Tag: make_still_working~4576
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98b8901060eafdd18e49f42a1182ad580df4a574;p=helm.git

auto-param "size" missing
---

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 287267bd6..2a42fc88d 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -797,6 +797,12 @@
         <entry>Try to close the goal performing unit-equality paramodulation
         </entry>
        </row>
+       <row>
+        <entry/>
+        <entry>|</entry>
+        <entry><emphasis role="bold">size=&nat;</emphasis></entry>
+        <entry>The maximal number of nodes in the proof</entry>
+       </row>
        <row>
         <entry/>
         <entry>|</entry>