etc/isar-keywords-ZF.el

   '("\\."
     "\\.\\."
     "Isabelle\\.command"
     "ML"
     "ML_command"
-    "ML_setup"
     "ML_val"
     "ProofGeneral\\.inform_file_processed"
     "ProofGeneral\\.inform_file_retracted"
     "ProofGeneral\\.kill_proof"
     "ProofGeneral\\.process_pgip"

     "redo"
     "undo"
     "undos_proof"))
 
 (defconst isar-keywords-diag
-  '("ML"
-    "ML_command"
+  '("ML_command"
     "ML_val"
     "cd"
     "class_deps"
     "commit"
     "disable_pr"

     "thy_deps"
     "touch_child_thys"
     "touch_thy"
     "typ"
     "unused_thms"
-    "use"
     "use_thy"
     "value"
     "welcome"))
 
 (defconst isar-keywords-theory-begin

     "section"
     "subsection"
     "subsubsection"))
 
 (defconst isar-keywords-theory-decl
-  '("ML_setup"
+  '("ML"
     "abbreviation"
     "arities"
     "axclass"
     "axiomatization"
     "axioms"

     "token_translation"
     "translations"
     "typed_print_translation"
     "typedecl"
     "types"
-    "types_code"))
+    "types_code"
+    "use"))
 
 (defconst isar-keywords-theory-script
   '("inductive_cases"))
 
 (defconst isar-keywords-theory-goal