class Rouge::Lexers::Isabelle

def self.keyword_proof_chain
  @keyword_proof_chain ||= Set.new %w(finally from then ultimately with)
end