thys/LexerExt.thy
Mon, 27 Feb 2017 23:53:48 +0000 Christian Urban added also the ntimes case
less more (0) tip