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

   1
   2 <!-- ============= Introduction ============================== -->
   3
   4 <sect1 id="sec_intro">
   5   <title>Introduction</title>
   6   <sect2 id="what">
   7     <title>What is Matita?</title>
   8
   9     <para>
  10       <application>Matita</application> is a proof assistant for ...
  11     </para>
  12
  13   </sect2>
  14 </sect1>
  15