src/HOL/Lex/RegExp2NA.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-08-17 nipkow 1998-08-17 Direct translation RegExp -> NA!