thys/Lexer.thy
changeset 428 5dcecc92608e
parent 362 e51c9a67a68d