diff -r 32a5f675a85d -r ad25835675b9 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sun Dec 02 20:38:42 2007 +0100
+++ b/etc/isar-keywords.el	Mon Dec 03 16:04:13 2007 +0100
@@ -106,7 +106,6 @@
     "inductive_set"
     "init_toplevel"
     "instance"
-    "instance_proof"
     "instantiation"
     "interpret"
     "interpretation"
@@ -135,6 +134,7 @@
     "obtain"
     "oops"
     "oracle"
+    "overloading"
     "parse_ast_translation"
     "parse_translation"
     "pcpodef"
@@ -466,6 +466,7 @@
     "nonterminals"
     "notation"
     "oracle"
+    "overloading"
     "parse_ast_translation"
     "parse_translation"
     "primrec"
@@ -501,7 +502,6 @@
     "cpodef"
     "function"
     "instance"
-    "instance_proof"
     "interpretation"
     "lemma"
     "nominal_inductive"