diff -r 32a5f675a85d -r ad25835675b9 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sun Dec 02 20:38:42 2007 +0100
+++ b/etc/isar-keywords-ZF.el	Mon Dec 03 16:04:13 2007 +0100
@@ -81,7 +81,6 @@
     "inductive_cases"
     "init_toplevel"
     "instance"
-    "instance_proof"
     "instantiation"
     "interpret"
     "interpretation"
@@ -106,6 +105,7 @@
     "obtain"
     "oops"
     "oracle"
+    "overloading"
     "parse_ast_translation"
     "parse_translation"
     "pr"
@@ -378,6 +378,7 @@
     "nonterminals"
     "notation"
     "oracle"
+    "overloading"
     "parse_ast_translation"
     "parse_translation"
     "primrec"
@@ -406,7 +407,6 @@
 (defconst isar-keywords-theory-goal
   '("corollary"
     "instance"
-    "instance_proof"
     "interpretation"
     "lemma"
     "subclass"