src/HOL/Lex/README.html
1995-11-18 nipkow 1995-11-18 Better!
1995-11-18 nipkow 1995-11-18 Half a lexical analyzer generator.