<keyword>and</keyword>
<keyword>as</keyword>
<keyword>coercion</keyword>
+ <keyword>prefer</keyword>
<keyword>nocomposites</keyword>
<keyword>coinductive</keyword>
<keyword>corec</keyword>
<keyword>include</keyword>
<keyword>include'</keyword>
<keyword>inductive</keyword>
+ <keyword>inverter</keyword>
<keyword>in</keyword>
<keyword>interpretation</keyword>
<keyword>let</keyword>
<keyword>obtain</keyword>
<keyword>conclude</keyword>
<keyword>done</keyword>
+ <keyword>rule</keyword>
</keyword-list>
<keyword-list _name = "Tacticals" style = "Keyword" case-sensitive="TRUE">