<block-comment _name = "Block Comment" style = "Comment">
<start-regex>\(\*</start-regex>
<end-regex>\*\)</end-regex>
<block-comment _name = "Block Comment" style = "Comment">
<start-regex>\(\*</start-regex>
<end-regex>\*\)</end-regex>
<keyword>decompose</keyword>
<keyword>discriminate</keyword>
<keyword>elim</keyword>
<keyword>elimType</keyword>
<keyword>exact</keyword>
<keyword>exists</keyword>
<keyword>decompose</keyword>
<keyword>discriminate</keyword>
<keyword>elim</keyword>
<keyword>elimType</keyword>
<keyword>exact</keyword>
<keyword>exists</keyword>