class Rouge::Lexers::Isabelle