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

   1
   2 <!-- ============ Commands ====================== -->
   3 <chapter id="sec_commands">
   4  <title>Other commands</title>
   5  <sect1>
   6    <title>Introduction</title>
   7    <para>
   8      &TODO;
   9    </para>
  10  </sect1>
  11  <sect1 id="command_qed">
  12    <title>Qed</title>
  13    <para>&TODO;</para>
  14  </sect1>
  15 </chapter>
  16