<!-- =========== 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>