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

;;
;; Keyword classification tables for Isabelle/Isar.
;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
;;
;; $Id$
;;

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