From 98b8901060eafdd18e49f42a1182ad580df4a574 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 9 Nov 2008 10:27:38 +0000
Subject: [PATCH] auto-param "size" missing

---
 helm/software/matita/help/C/sec_terms.xml | 6 ++++++
 1 file changed, 6 insertions(+)

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>
-- 
2.39.2