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

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

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