src/CTT/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2007-12-31 wenzelm 2007-12-31 removed obsolete banner;
2006-06-02 wenzelm 2006-06-02 removed obsolete ML files;
2005-09-16 wenzelm 2005-09-16 converted to Isar theory format;
2000-11-14 paulson 2000-11-14 new Main.thy as in HOL, ZF
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1999-02-08 wenzelm 1999-02-08 ~~;
1998-07-28 wenzelm 1998-07-28 removed global_names flag;
1997-11-12 wenzelm 1997-11-12 refer to $ISABELLE_HOME/src;
1997-10-17 wenzelm 1997-10-17 adapted to qualified names;
1997-07-09 wenzelm 1997-07-09 removed obsolete init_pps and init_thy_reader;
1996-11-27 paulson 1996-11-27 Replaced obsolete "use" command
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-11-21 clasohm 1995-11-21 main directory is now read by exit_use_dir, too; removed make_chart from ROOT.ML
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart; added usage of qed
1994-05-19 wenzelm 1994-05-19 thy reader now initialised by init_thy_reader();
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-10-22 clasohm 1993-10-22 changes for new Readthy
1993-09-16 clasohm 1993-09-16 Initial revision