1.1 --- a/etc/isar-keywords.el	Mon Aug 27 11:34:18 2007 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Aug 27 11:34:19 2007 +0200
     1.3 @@ -38,8 +38,6 @@
     1.4      "class_deps"
     1.5      "classes"
     1.6      "classrel"
     1.7 -    "code_abstype"
     1.8 -    "code_axioms"
     1.9      "code_class"
    1.10      "code_const"
    1.11      "code_datatype"
    1.12 @@ -50,6 +48,7 @@
    1.13      "code_modulename"
    1.14      "code_moduleprolog"
    1.15      "code_monad"
    1.16 +    "code_props"
    1.17      "code_reserved"
    1.18      "code_thms"
    1.19      "code_type"
    1.20 @@ -103,6 +102,8 @@
    1.21      "inductive_set"
    1.22      "init_toplevel"
    1.23      "instance"
    1.24 +    "instance_proof"
    1.25 +    "instantiation"
    1.26      "interpret"
    1.27      "interpretation"
    1.28      "invoke"
    1.29 @@ -401,8 +402,6 @@
    1.30      "class"
    1.31      "classes"
    1.32      "classrel"
    1.33 -    "code_abstype"
    1.34 -    "code_axioms"
    1.35      "code_class"
    1.36      "code_const"
    1.37      "code_datatype"
    1.38 @@ -412,6 +411,7 @@
    1.39      "code_modulename"
    1.40      "code_moduleprolog"
    1.41      "code_monad"
    1.42 +    "code_props"
    1.43      "code_reserved"
    1.44      "code_type"
    1.45      "coinductive"
    1.46 @@ -438,6 +438,7 @@
    1.47      "hide"
    1.48      "inductive"
    1.49      "inductive_set"
    1.50 +    "instantiation"
    1.51      "judgment"
    1.52      "lemmas"
    1.53      "local"
    1.54 @@ -482,6 +483,7 @@
    1.55      "cpodef"
    1.56      "function"
    1.57      "instance"
    1.58 +    "instance_proof"
    1.59      "interpretation"
    1.60      "lemma"
    1.61      "pcpodef"