added doc for compose

[helm.git] / matita / help / C / tactics_quickref.xml

diff --git a/matita/help/C/tactics_quickref.xml b/matita/help/C/tactics_quickref.xml
index 47e237e86c08b960bdaf2a183f3e59423c0ca82a..119985dc4289db0bf40a76232210e505024fa71d 100644 (file)
--- a/matita/help/C/tactics_quickref.xml
+++ b/matita/help/C/tactics_quickref.xml
@@ -57,6 +57,11 @@
         <entry>|</entry>
         <entry><link linkend="tac_clearbody"><emphasis role="bold">clearbody</emphasis></link> <emphasis><link linkend="grammar.id">id</link></emphasis></entry>
       </row>
+      <row>
+        <entry/>
+        <entry>|</entry>
+        <entry><link linkend="tac_compose"><emphasis role="bold">compose</emphasis></link> [&nat;] &sterm; [<emphasis role="bold">with</emphasis> &sterm;] [&intros-spec;]</entry>
+      </row>
       <row>
         <entry/>
         <entry>|</entry>
@@ -81,10 +86,6 @@
         <entry>|</entry>
         <entry>
             <link linkend="tac_decompose"><emphasis role="bold">decompose</emphasis></link>
-            [<emphasis role="bold">(</emphasis>
-            <emphasis><link linkend="grammar.id">id</link></emphasis>…
-            <emphasis role="bold">)</emphasis>]
-            [<emphasis><link linkend="grammar.id">id</link></emphasis>] 
             [<emphasis role="bold">as</emphasis> <emphasis><link linkend="grammar.id">id</link></emphasis>…]
            </entry>
       </row>