<language _name="grafite" version="1.0" _section="Sources" mimetypes="text/x-matita">
<escape-char>\</escape-char>
<language _name="grafite" version="1.0" _section="Sources" mimetypes="text/x-matita">
<escape-char>\</escape-char>
<keyword>constructor</keyword>
<keyword>contradiction</keyword>
<keyword>cut</keyword>
<keyword>decompose</keyword>
<keyword>constructor</keyword>
<keyword>contradiction</keyword>
<keyword>cut</keyword>
<keyword>decompose</keyword>