<keyword>reflexivity</keyword>
<keyword>replace</keyword>
<keyword>rewrite</keyword>
<keyword>reflexivity</keyword>
<keyword>replace</keyword>
<keyword>rewrite</keyword>
</keyword-list>
<keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
<keyword>inline</keyword>
</keyword-list>
<keyword-list _name = "Matita Macro" style = "Others 3" case-sensitive="TRUE">
<keyword>inline</keyword>