lib/jedit/isabelle.xml

--- a/lib/jedit/isabelle.xml	Mon Jul 14 21:39:08 2008 +0200
+++ b/lib/jedit/isabelle.xml	Mon Jul 14 22:09:08 2008 +0200
@@ -258,7 +258,6 @@
       <OPERATOR>recdef_tc</OPERATOR>
       <OPERATOR>record</OPERATOR>
       <KEYWORD4>recursor_eqns</KEYWORD4>
-      <INVALID>redo</INVALID>
       <LABEL>refute</LABEL>
       <OPERATOR>refute_params</OPERATOR>
       <LABEL>remove_thy</LABEL>