1.1 --- a/etc/isar-keywords-ZF.el	Sun Dec 02 20:38:42 2007 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Dec 03 16:04:13 2007 +0100
     1.3 @@ -81,7 +81,6 @@
     1.4      "inductive_cases"
     1.5      "init_toplevel"
     1.6      "instance"
     1.7 -    "instance_proof"
     1.8      "instantiation"
     1.9      "interpret"
    1.10      "interpretation"
    1.11 @@ -106,6 +105,7 @@
    1.12      "obtain"
    1.13      "oops"
    1.14      "oracle"
    1.15 +    "overloading"
    1.16      "parse_ast_translation"
    1.17      "parse_translation"
    1.18      "pr"
    1.19 @@ -378,6 +378,7 @@
    1.20      "nonterminals"
    1.21      "notation"
    1.22      "oracle"
    1.23 +    "overloading"
    1.24      "parse_ast_translation"
    1.25      "parse_translation"
    1.26      "primrec"
    1.27 @@ -406,7 +407,6 @@
    1.28  (defconst isar-keywords-theory-goal
    1.29    '("corollary"
    1.30      "instance"
    1.31 -    "instance_proof"
    1.32      "interpretation"
    1.33      "lemma"
    1.34      "subclass"