class Rouge::Lexers::Isabelle

def self.keyword_theory_goal
  @keyword_theory_goal ||= Set.new %w(
    ax_specification bnf code_pred corollary cpodef
    crunch crunch_ignore
    enriched_type function instance interpretation lemma
    lift_definition nominal_inductive nominal_inductive2
    nominal_primrec pcpodef primcorecursive
    quotient_definition quotient_type recdef_tc rep_datatype
    schematic_corollary schematic_lemma schematic_theorem
    spark_vc specification subclass sublocale termination
    theorem typedef wrap_free_constructors
  )
end