1.1 --- a/etc/isar-keywords-ZF.el	Tue Aug 16 23:39:30 2011 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Aug 16 23:39:58 2011 +0200
     1.3 @@ -40,12 +40,9 @@
     1.4      "classrel"
     1.5      "codatatype"
     1.6      "code_datatype"
     1.7 -    "code_library"
     1.8 -    "code_module"
     1.9      "coinductive"
    1.10      "commit"
    1.11      "consts"
    1.12 -    "consts_code"
    1.13      "context"
    1.14      "corollary"
    1.15      "datatype"
    1.16 @@ -194,7 +191,6 @@
    1.17      "typed_print_translation"
    1.18      "typedecl"
    1.19      "types"
    1.20 -    "types_code"
    1.21      "ultimately"
    1.22      "undo"
    1.23      "undos_proof"
    1.24 @@ -219,11 +215,9 @@
    1.25      "case_eqns"
    1.26      "con_defs"
    1.27      "constrains"
    1.28 -    "contains"
    1.29      "defines"
    1.30      "domains"
    1.31      "elimination"
    1.32 -    "file"
    1.33      "fixes"
    1.34      "for"
    1.35      "identifier"
    1.36 @@ -354,11 +348,8 @@
    1.37      "classrel"
    1.38      "codatatype"
    1.39      "code_datatype"
    1.40 -    "code_library"
    1.41 -    "code_module"
    1.42      "coinductive"
    1.43      "consts"
    1.44 -    "consts_code"
    1.45      "context"
    1.46      "datatype"
    1.47      "declaration"
    1.48 @@ -410,7 +401,6 @@
    1.49      "typed_print_translation"
    1.50      "typedecl"
    1.51      "types"
    1.52 -    "types_code"
    1.53      "use"))
    1.54  
    1.55  (defconst isar-keywords-theory-script