src/HOL/Lex/Scanner.thy
2002-01-17 nipkow 2002-01-17 Added code generation to Scanner.thy Renamed Union -> Or, union -> or
1998-08-17 nipkow 1998-08-17 Direct translation RegExp -> NA!
1998-05-08 nipkow 1998-05-08 Reshuffeling, renaming and a few simple corollaries.