 ;;
 ;; 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$
 ;;

    "}"))

(defconst isar-keywords-minor
  '("and"
    "binder"
    "con_defs"
    "concl"
    "congs"
    "distinct"
    "files"
    "hints"
    "in"
    "induction"
    "infix"
    "infixl"
    "infixr"
    "inject"
    "intros"
    "is"
    "monos"
    "morphisms"
    "output"
    "overloaded"
    "permissive"
    "where"))

(defconst isar-keywords-control

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