     "nominal_inductive2"
     "nominal_primrec"
     "nominal_termination"
+    "old_rep_datatype"
     "pcpodef"
     "permanent_interpretation"
     "primcorecursive"
     "quotient_definition"
     "quotient_type"
     "recdef_tc"
-    "rep_datatype"
     "schematic_corollary"
     "schematic_lemma"
     "schematic_theorem"

;;
;; Keyword classification tables for Isabelle/Isar.
;; Generated from HOL + HOL-Auth + HOL-BNF_Examples + HOL-Bali + HOL-Decision_Procs + HOL-IMP + HOL-Imperative_HOL + HOL-Import + HOL-Library + HOL-Mutabelle + HOL-Nominal + HOL-Predicate_Compile_Examples + HOL-Proofs + HOL-Proofs-Extraction + HOL-SPARK + HOL-Statespace + HOL-TPTP + HOL-Word-SMT_Examples + HOL-ex + HOLCF + Pure.
;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
;;


    "refute"
    "refute_params"
    "remove_thy"
    "schematic_corollary"
    "schematic_lemma"
    "schematic_theorem"
