src/HOL/Lex/ROOT.ML
2000-05-30 wenzelm 2000-05-30 cleaned up;
2000-04-18 wenzelm 2000-04-18 fixed theory deps;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
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.
1998-04-27 nipkow 1998-04-27 Added conversion of reg.expr. to automata. Renamed expand_const -> split_const.
1998-03-10 nipkow 1998-03-10 Removed expand_split from simpset.
1997-11-05 nipkow 1997-11-05 Added an alternativ version of AutoChopper and a theory for the conversion of automata into regular sets.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-18 nipkow 1995-11-18 Half a lexical analyzer generator.