class Rouge::Lexers::Isabelle

def self.keyword_proof_asm_goal
  @keyword_proof_asm_goal ||= Set.new %w(guess obtain show thus)
end