<!-- objects -->
<keyword>theorem</keyword>
<keyword>record</keyword>
<keyword>definition</keyword>
<keyword>inductive</keyword>
<keyword>coinductive</keyword>
<!-- objects -->
<keyword>theorem</keyword>
<keyword>record</keyword>
<keyword>definition</keyword>
<keyword>inductive</keyword>
<keyword>coinductive</keyword>