 (defconst isar-keywords-theory-decl
   '("ML_setup"
     "arities"
-    "automaton"
     "axclass"
     "axioms"
     "classes"

    "}"))

(defconst isar-keywords-minor
  '("actions"
    "and"
    "binder"
    "compose"
    "con_defs"
    "concl"
    "congs"
    "distinct"
    "files"
    "hide_action"
    "hints"
    "in"
    "induction"
    "infix"
    "infixl"
    "infixr"
    "initially"
    "inject"
    "inputs"
    "internals"
    "intros"
    "is"
    "monos"
    "output"
    "outputs"
    "overloaded"
    "permissive"
    "post"
    "pre"
    "rename"
    "restrict"
    "signature"
    "states"
    "to"
    "transitions"
    "transrel"
    "using"
    "where"))

(defconst isar-keywords-control

    "apply_end"
    "arities"
    "assume"
    "axclass"
    "axioms"
    "back"
