1.1 --- a/etc/isar-keywords.el	Sun Dec 02 20:38:42 2007 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Dec 03 16:04:13 2007 +0100
     1.3 @@ -106,7 +106,6 @@
     1.4      "inductive_set"
     1.5      "init_toplevel"
     1.6      "instance"
     1.7 -    "instance_proof"
     1.8      "instantiation"
     1.9      "interpret"
    1.10      "interpretation"
    1.11 @@ -135,6 +134,7 @@
    1.12      "obtain"
    1.13      "oops"
    1.14      "oracle"
    1.15 +    "overloading"
    1.16      "parse_ast_translation"
    1.17      "parse_translation"
    1.18      "pcpodef"
    1.19 @@ -466,6 +466,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 @@ -501,7 +502,6 @@
    1.28      "cpodef"
    1.29      "function"
    1.30      "instance"
    1.31 -    "instance_proof"
    1.32      "interpretation"
    1.33      "lemma"
    1.34      "nominal_inductive"