<keyword>qed</keyword>
<keyword>rec</keyword>
<keyword>record</keyword>
+ <keyword>return</keyword>
<keyword>to</keyword>
<keyword>using</keyword>
<keyword>with</keyword>
<keyword>Assign</keyword>
<keyword>land</keyword>
<keyword>lor</keyword>
+ <keyword>lnot</keyword>
+ <keyword>liff</keyword>
<keyword>subst</keyword>
<keyword>vdash</keyword>
+ <keyword>iforall</keyword>
+ <keyword>iexists</keyword>
</keyword-list>
<string _name = "String" style = "String" >