X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=15793c63acb9e71b45b1d8065a64a05623f390ec;hb=04d8e2282a3536a9b822a8dbfcbdb4e3a949f04d;hp=3cae2f84c1866ad13d858e14eb32953176c38c13;hpb=a7e618ad478e4203068668f5fe90e7985a1dc2c5;p=helm.git

diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index 3cae2f84c..15793c63a 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -729,12 +729,28 @@
     <title>auto-params</title>
     <para>&TODO;</para>
     <table frame="topbot" rowsep="0" colsep="0" role="grammar">
-      <title>reduction-kind</title>
+      <title>auto-params</title>
       <tgroup cols="4">
       <tbody>
        <row>
 	<entry id="grammar.autoparams">&autoparams;</entry>
 	<entry>::=</entry>
+        <entry>[&simpleautoparam;]…
+               [<emphasis role="bold">by</emphasis>
+                &term; [&term;]…]
+        </entry>
+        <entry>&TODO;</entry>
+       </row>
+      </tbody>
+     </tgroup>
+    </table>
+    <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+      <title>simple-auto-param</title>
+      <tgroup cols="4">
+      <tbody>
+       <row>
+	<entry id="grammar.simpleautoparam">&simpleautoparam;</entry>
+	<entry>::=</entry>
         <entry><emphasis role="bold">depth=&nat;</emphasis></entry>
         <entry>&TODO;</entry>
        </row>