auto-param "size" missing

[helm.git] / helm / software / matita / help / C / sec_terms.xml

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 287267bd6285941bd5436a53c2de6b4bddf66c97..2a42fc88d8d9039d4fe310ecee95f29ad1bb74fe 100644 (file)
--- 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>