class Rouge::Lexers::Isabelle

def self.keyword_minor
  @keyword_minor ||= Set.new %w(
    and assumes attach avoids binder checking
    class_instance class_relation code_module congs
    constant constrains datatypes defines file fixes
    for functions hints identifier if imports in
    includes infix infixl infixr is keywords lazy
    module_name monos morphisms no_discs_sels notes
    obtains open output overloaded parametric permissive
    pervasive rep_compat shows structure type_class
    type_constructor unchecked unsafe where
  )
end