helm/software/matita/help/C/sec_terms.xml

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