lib/jedit/isabelle.xml

       <INVALID>init_toplevel</INVALID>
       <KEYWORD4>initially</KEYWORD4>
       <KEYWORD4>inject</KEYWORD4>
       <KEYWORD4>inputs</KEYWORD4>
       <OPERATOR>instance</OPERATOR>
-      <OPERATOR>instance_proof</OPERATOR>
       <OPERATOR>instantiation</OPERATOR>
       <KEYWORD4>internals</KEYWORD4>
       <OPERATOR>interpret</OPERATOR>
       <OPERATOR>interpretation</OPERATOR>
       <KEYWORD4>intros</KEYWORD4>

       <OPERATOR>oracle</OPERATOR>
       <KEYWORD4>otherwise</KEYWORD4>
       <KEYWORD4>output</KEYWORD4>
       <KEYWORD4>outputs</KEYWORD4>
       <KEYWORD4>overloaded</KEYWORD4>
+      <OPERATOR>overloading</OPERATOR>
       <OPERATOR>parse_ast_translation</OPERATOR>
       <OPERATOR>parse_translation</OPERATOR>
       <OPERATOR>pcpodef</OPERATOR>
       <KEYWORD4>permissive</KEYWORD4>
       <KEYWORD4>post</KEYWORD4>