<keyword>definition</keyword>
<keyword>inductive</keyword>
<keyword>coinductive</keyword>
- <keyword>let</keyword>
<keyword>fact</keyword>
<keyword>lemma</keyword>
<keyword>remark</keyword>
<keyword>coinductive</keyword>
<keyword>constraint</keyword>
<keyword>corec</keyword>
+ <keyword>cyclic</keyword>
<keyword>default</keyword>
<keyword>discriminator</keyword>
<keyword>for</keyword>