]> matita.cs.unibo.it Git - helm.git/blob - sec_usernotation.xml
dd1362d0200aa8cd64630b5428439e2db161e1ed
[helm.git] / sec_usernotation.xml
1
2 <!-- ============ User Notation ====================== -->
3 <chapter id="sec_usernotation">
4  <title>Extending the syntax</title>
5  <sect1>
6    <title>Introduction</title>
7    <para>
8      &TODO;
9    </para>
10  </sect1>
11 </chapter>
12