class Rouge::Lexers::Isabelle

def self.keyword_theory_decl
  @keyword_theory_decl ||= Set.new %w(
    ML ML_file abbreviation adhoc_overloading arities
    atom_decl attribute_setup axiomatization bundle
    case_of_simps class classes classrel codatatype
    code_abort code_class code_const code_datatype
    code_identifier code_include code_instance code_modulename
    code_monad code_printing code_reflect code_reserved
    code_type coinductive coinductive_set consts context
    datatype datatype_new datatype_new_compat declaration
    declare default_sort defer_recdef definition defs
    domain domain_isomorphism domaindef equivariance
    export_code extract extract_type fixrec fun
    fun_cases hide_class hide_const hide_fact hide_type
    import_const_map import_file import_tptp import_type_map
    inductive inductive_set instantiation judgment lemmas
    lifting_forget lifting_update local_setup locale
    method_setup nitpick_params no_adhoc_overloading
    no_notation no_syntax no_translations no_type_notation
    nominal_datatype nonterminal notation notepad oracle
    overloading parse_ast_translation parse_translation
    partial_function primcorec primrec primrec_new
    print_ast_translation print_translation quickcheck_generator
    quickcheck_params realizability realizers recdef record
    refute_params setup setup_lifting simproc_setup
    simps_of_case sledgehammer_params spark_end spark_open
    spark_open_siv spark_open_vcg spark_proof_functions
    spark_types statespace syntax syntax_declaration text
    text_raw theorems translations type_notation
    type_synonym typed_print_translation typedecl hoarestate
    install_C_file install_C_types wpc_setup c_defs c_types
    memsafe SML_export SML_file SML_import approximate
    bnf_axiomatization cartouche datatype_compat
    free_constructors functor nominal_function
    nominal_termination permanent_interpretation
    binds defining smt2_status term_cartouche
    boogie_file text_cartouche
  )
end