]> matita.cs.unibo.it Git - helm.git/blob - matita/help/C/terms.xml
reshaped manual
[helm.git] / matita / help / C / 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