src/HOL/Lex/Prefix.thy
Mon, 20 Mar 2000 10:24:07 +0100 paulson now based on "Main", as it should be
Fri, 21 May 1999 10:50:04 +0200 paulson changes to show that Lists are partially ordered by the prefix relation
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Sat, 18 Nov 1995 14:55:44 +0100 nipkow Half a lexical analyzer generator.
less more (0) tip