src/HOL/Lex/README.html
Mon, 17 Aug 1998 16:02:21 +0200 nipkow Mention RegExp2NA.
Thu, 14 May 1998 16:54:20 +0200 nipkow Reordred arguments in AutoChopper.
Wed, 05 Nov 1997 09:08:35 +0100 nipkow Added an alternativ version of AutoChopper and a theory for the conversion of
Wed, 21 May 1997 17:13:00 +0200 wenzelm tuned all READMEs;
Sat, 18 Nov 1995 15:35:24 +0100 nipkow Better!
Sat, 18 Nov 1995 14:55:44 +0100 nipkow Half a lexical analyzer generator.
less more (0) tip