Some fixes in the documentation of the tactics.

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

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index d92518d8d89fe9cd597de783dec98fa44a5ff0c2..70da9440498d2ca8c5ba5e031b22203972c20814 100644 (file)
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -1,28 +1,28 @@
 
 <!-- =========== Terms, declarations and definitions ============ -->
 
-<sect1 id="sec_terms">
+<chapter id="sec_terms">
   <title>Terms, definitions, declarations and proofs</title>
 
-  <sect2 id="terms">
+  <sect1 id="terms">
     <title>Terms</title>
-    <para> TODO </para>
-  </sect2>
+    <para> &TODO; </para>
+  </sect1>
 
-  <sect2 id="definitions">
+  <sect1 id="definitions">
     <title>Definitions</title>
-    <para> TODO </para>
-  </sect2>
+    <para> &TODO; </para>
+  </sect1>
 
-  <sect2 id="declarations">
+  <sect1 id="declarations">
     <title>Declarations (of inductive types)</title>
-    <para> TODO </para>
-  </sect2>
+    <para> &TODO; </para>
+  </sect1>
 
-  <sect2 id="proofs">
+  <sect1 id="proofs">
     <title>Proofs</title>
-    <para> TODO </para>
-  </sect2>
+    <para> &TODO; </para>
+  </sect1>
 
-</sect1>
+</chapter>