src/HOL/Lex/RegExp2NAe.thy
Tue, 18 Apr 2000 00:36:02 +0200 wenzelm fixed theory deps;
Mon, 16 Aug 1999 22:07:12 +0200 wenzelm 'a list: Nil, Cons;
Fri, 24 Jul 1998 13:19:38 +0200 berghofe Adapted to new datatype package.
Fri, 08 May 1998 18:33:29 +0200 nipkow Reshuffeling, renaming and a few simple corollaries.
less more (0) tip