1.1 --- a/etc/isar-keywords-ZF.el	Tue Nov 07 11:28:25 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Nov 07 11:46:45 2006 +0100
     1.3 @@ -45,18 +45,16 @@
     1.4      "code_axioms"
     1.5      "code_class"
     1.6      "code_const"
     1.7 -    "code_constname"
     1.8      "code_gen"
     1.9      "code_instance"
    1.10 -    "code_instname"
    1.11      "code_library"
    1.12      "code_module"
    1.13 +    "code_modulename"
    1.14 +    "code_moduleprolog"
    1.15      "code_reserved"
    1.16      "code_type"
    1.17 -    "code_typename"
    1.18      "coinductive"
    1.19      "commit"
    1.20 -    "const_syntax"
    1.21      "constdefs"
    1.22      "consts"
    1.23      "consts_code"
    1.24 @@ -111,6 +109,7 @@
    1.25      "no_translations"
    1.26      "nonterminals"
    1.27      "normal_form"
    1.28 +    "notation"
    1.29      "note"
    1.30      "obtain"
    1.31      "oops"
    1.32 @@ -246,7 +245,6 @@
    1.33      "recursor_eqns"
    1.34      "shows"
    1.35      "structure"
    1.36 -    "target_atom"
    1.37      "type_elims"
    1.38      "type_intros"
    1.39      "unchecked"
    1.40 @@ -364,16 +362,14 @@
    1.41      "code_axioms"
    1.42      "code_class"
    1.43      "code_const"
    1.44 -    "code_constname"
    1.45      "code_instance"
    1.46 -    "code_instname"
    1.47      "code_library"
    1.48      "code_module"
    1.49 +    "code_modulename"
    1.50 +    "code_moduleprolog"
    1.51      "code_reserved"
    1.52      "code_type"
    1.53 -    "code_typename"
    1.54      "coinductive"
    1.55 -    "const_syntax"
    1.56      "constdefs"
    1.57      "consts"
    1.58      "consts_code"
    1.59 @@ -395,6 +391,7 @@
    1.60      "no_syntax"
    1.61      "no_translations"
    1.62      "nonterminals"
    1.63 +    "notation"
    1.64      "oracle"
    1.65      "parse_ast_translation"
    1.66      "parse_translation"