src/HOL/Lex/RegExp2NAe.thy
2002-01-17 nipkow 2002-01-17 Added code generation to Scanner.thy Renamed Union -> Or, union -> or
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-04-18 wenzelm 2000-04-18 fixed theory deps;
1999-08-16 wenzelm 1999-08-16 'a list: Nil, Cons;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-05-08 nipkow 1998-05-08 Reshuffeling, renaming and a few simple corollaries.