X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_terms.xml;h=5fafcd0ac5b3b90af1ba2b43a965ea6c0b4d7004;hb=0f044468396f3edbe5cfba97e7563a53e397c153;hp=4499f234453c4ec3b0915fd69a04b8de2567ac90;hpb=e01d6c3dc338c2a4a5ee37305d9b09cb2ab0cc6c;p=helm.git

diff --git a/matita/help/C/sec_terms.xml b/matita/help/C/sec_terms.xml
index 4499f2344..5fafcd0ac 100644
--- a/matita/help/C/sec_terms.xml
+++ b/matita/help/C/sec_terms.xml
@@ -1,28 +1,29 @@
 
 <!-- =========== 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>
+  </sect1>
 
-  <sect2 id="definitions">
+  <sect1 id="definitions">
     <title>Definitions</title>
     <para> &TODO; </para>
-  </sect2>
+  </sect1>
 
-  <sect2 id="declarations">
+  <sect1 id="declarations">
     <title>Declarations (of inductive types)</title>
+    <titleabbrev>Declarations</titleabbrev>
     <para> &TODO; </para>
-  </sect2>
+  </sect1>
 
-  <sect2 id="proofs">
+  <sect1 id="proofs">
     <title>Proofs</title>
     <para> &TODO; </para>
-  </sect2>
+  </sect1>
 
-</sect1>
+</chapter>