1.1 --- a/etc/isar-keywords-ZF.el	Sat Mar 29 19:14:03 2008 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Sat Mar 29 19:14:03 2008 +0100
     1.3 @@ -12,7 +12,6 @@
     1.4      "Isabelle\\.command"
     1.5      "ML"
     1.6      "ML_command"
     1.7 -    "ML_setup"
     1.8      "ML_val"
     1.9      "ProofGeneral\\.inform_file_processed"
    1.10      "ProofGeneral\\.inform_file_retracted"
    1.11 @@ -266,8 +265,7 @@
    1.12      "undos_proof"))
    1.13  
    1.14  (defconst isar-keywords-diag
    1.15 -  '("ML"
    1.16 -    "ML_command"
    1.17 +  '("ML_command"
    1.18      "ML_val"
    1.19      "cd"
    1.20      "class_deps"
    1.21 @@ -321,7 +319,6 @@
    1.22      "touch_thy"
    1.23      "typ"
    1.24      "unused_thms"
    1.25 -    "use"
    1.26      "use_thy"
    1.27      "value"
    1.28      "welcome"))
    1.29 @@ -342,7 +339,7 @@
    1.30      "subsubsection"))
    1.31  
    1.32  (defconst isar-keywords-theory-decl
    1.33 -  '("ML_setup"
    1.34 +  '("ML"
    1.35      "abbreviation"
    1.36      "arities"
    1.37      "axclass"
    1.38 @@ -405,7 +402,8 @@
    1.39      "typed_print_translation"
    1.40      "typedecl"
    1.41      "types"
    1.42 -    "types_code"))
    1.43 +    "types_code"
    1.44 +    "use"))
    1.45  
    1.46  (defconst isar-keywords-theory-script
    1.47    '("inductive_cases"))