1.1 --- a/etc/isar-keywords-ZF.el	Mon Oct 09 20:12:45 2006 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Oct 10 09:17:17 2006 +0200
     1.3 @@ -41,15 +41,16 @@
     1.4      "classrel"
     1.5      "clear_undos"
     1.6      "codatatype"
     1.7 +    "code_abstype"
     1.8      "code_class"
     1.9      "code_const"
    1.10      "code_constname"
    1.11 +    "code_constsubst"
    1.12      "code_gen"
    1.13      "code_instance"
    1.14      "code_instname"
    1.15      "code_library"
    1.16      "code_module"
    1.17 -    "code_simtype"
    1.18      "code_type"
    1.19      "code_typename"
    1.20      "coinductive"
    1.21 @@ -193,6 +194,7 @@
    1.22      "types_code"
    1.23      "ultimately"
    1.24      "undo"
    1.25 +    "undo_end"
    1.26      "undos_proof"
    1.27      "unfolding"
    1.28      "update_thy"
    1.29 @@ -269,6 +271,7 @@
    1.30      "quit"
    1.31      "redo"
    1.32      "undo"
    1.33 +    "undo_end"
    1.34      "undos_proof"))
    1.35  
    1.36  (defconst isar-keywords-diag
    1.37 @@ -358,9 +361,11 @@
    1.38      "classes"
    1.39      "classrel"
    1.40      "codatatype"
    1.41 +    "code_abstype"
    1.42      "code_class"
    1.43      "code_const"
    1.44      "code_constname"
    1.45 +    "code_constsubst"
    1.46      "code_instance"
    1.47      "code_instname"
    1.48      "code_library"
    1.49 @@ -417,8 +422,7 @@
    1.50      "inductive_cases"))
    1.51  
    1.52  (defconst isar-keywords-theory-goal
    1.53 -  '("code_simtype"
    1.54 -    "corollary"
    1.55 +  '("corollary"
    1.56      "instance"
    1.57      "interpretation"
    1.58      "lemma"