[pygments.lexers]
jml = keylex:JMLLexer
key = keylex:KeYLexer
