2 <!-- =========== Terms, declarations and definitions ============ -->
5 <title>Terms, definitions, declarations and proofs</title>
12 <sect2 id="definitions">
13 <title>Definitions</title>
17 <sect2 id="declarations">
18 <title>Declarations (of inductive types)</title>