lib/jedit/isabelle.xml

 <?xml version="1.0"?>
 <!DOCTYPE MODE SYSTEM "xmode.dtd">
-<!-- This file was generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
+<!-- Generated from Pure + HOL + HOLCF + IOA + HOL-Nominal + FOL + ZF -->
+<!-- *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** -->
 <MODE>
   <PROPS>
     <PROPERTY NAME="commentStart" VALUE="(*"/>
     <PROPERTY NAME="commentEnd" VALUE="*)"/>
     <PROPERTY NAME="noWordSep" VALUE="_'.?"/>

       <KEYWORD2>fix</KEYWORD2>
       <KEYWORD4>fixes</KEYWORD4>
       <OPERATOR>fixpat</OPERATOR>
       <OPERATOR>fixrec</OPERATOR>
       <KEYWORD4>for</KEYWORD4>
-      <KEYWORD4>freshness_context</KEYWORD4>
       <OPERATOR>from</OPERATOR>
       <LABEL>full_prf</LABEL>
       <OPERATOR>fun</OPERATOR>
       <OPERATOR>function</OPERATOR>
       <OPERATOR>global</OPERATOR>

       <OPERATOR>instantiation</OPERATOR>
       <KEYWORD4>internals</KEYWORD4>
       <OPERATOR>interpret</OPERATOR>
       <OPERATOR>interpretation</OPERATOR>
       <KEYWORD4>intros</KEYWORD4>
-      <KEYWORD4>invariant</KEYWORD4>
       <OPERATOR>invoke</OPERATOR>
       <KEYWORD4>is</KEYWORD4>
       <OPERATOR>judgment</OPERATOR>
       <INVALID>kill</INVALID>
       <LABEL>kill_thy</LABEL>