class Rouge::Lexers::Isabelle

def self.keyword_subsection
  @keyword_subsection ||= Set.new %w(section subsection subsubsection sect subsect subsubsect)
end