     "apply_end"
     "arities"
     "assume"
-    "automaton"
     "axclass"
     "axioms"
     "back"

    "inductive_cases"))

(defconst isar-keywords-theory-goal
  '("instance"
    "lemma"
    "recdef_tc"
    "theorem"

    "consts"
    "consts_code"
    "context"
    "corollary"
    "datatype"
    "declare"
    "def"
