class Rouge::Lexers::Isabelle

def self.keyword_theory_script
  @keyword_theory_script ||= Set.new %w(inductive_cases inductive_simps)
end