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

    "defaultsort"
    "defer_recdef"
    "defs"
    "generate_code"
    "global"
    "hide"

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