1.1 --- a/etc/isar-keywords-ZF.el	Thu Feb 16 14:59:57 2006 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Thu Feb 16 18:25:52 2006 +0100
     1.3 @@ -20,6 +20,7 @@
     1.4      "ProofGeneral\\.restart"
     1.5      "ProofGeneral\\.try_context_thy_only"
     1.6      "ProofGeneral\\.undo"
     1.7 +    "abbreviation"
     1.8      "also"
     1.9      "apply"
    1.10      "apply_end"
    1.11 @@ -35,6 +36,7 @@
    1.12      "cd"
    1.13      "chapter"
    1.14      "class"
    1.15 +    "class_exp"
    1.16      "classes"
    1.17      "classrel"
    1.18      "clear_undos"
    1.19 @@ -210,7 +212,6 @@
    1.20      "constrains"
    1.21      "contains"
    1.22      "defines"
    1.23 -    "depending_on"
    1.24      "domains"
    1.25      "elimination"
    1.26      "file"
    1.27 @@ -331,6 +332,7 @@
    1.28  
    1.29  (defconst isar-keywords-theory-decl
    1.30    '("ML_setup"
    1.31 +    "abbreviation"
    1.32      "arities"
    1.33      "axclass"
    1.34      "axiomatization"
    1.35 @@ -397,7 +399,8 @@
    1.36      "inductive_cases"))
    1.37  
    1.38  (defconst isar-keywords-theory-goal
    1.39 -  '("corollary"
    1.40 +  '("class_exp"
    1.41 +    "corollary"
    1.42      "instance"
    1.43      "interpretation"
    1.44      "lemma"