src/HOL/Lex/Chopper.thy
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Wed, 29 Nov 1995 17:01:41 +0100 clasohm removed quotes from consts and syntax sections
Sat, 18 Nov 1995 14:55:44 +0100 nipkow Half a lexical analyzer generator.
less more (0) tip