matita/help/C/sec_terms.xml

   1
   2 <!-- =========== Terms, declarations and definitions ============ -->
   3
   4 <sect1 id="sec_terms">
   5   <title>Terms, definitions, declarations and proofs</title>
   6
   7   <sect2 id="terms">
   8     <title>Terms</title>
   9     <para> &TODO; </para>
  10   </sect2>
  11
  12   <sect2 id="definitions">
  13     <title>Definitions</title>
  14     <para> &TODO; </para>
  15   </sect2>
  16
  17   <sect2 id="declarations">
  18     <title>Declarations (of inductive types)</title>
  19     <para> &TODO; </para>
  20   </sect2>
  21
  22   <sect2 id="proofs">
  23     <title>Proofs</title>
  24     <para> &TODO; </para>
  25   </sect2>
  26
  27 </sect1>
  28