thys4/posix/LexerSimp.thy
changeset 614 d5e9bcb384ec
parent 587 3198605ac648