src/CCL/ROOT.ML
2007-07-31 wenzelm 2007-07-31 simultaneous use_thys;
2006-07-18 wenzelm 2006-07-18 removed obsolete ML files;
2005-09-17 wenzelm 2005-09-17 converted to Isar theory format;
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
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
1995-04-06 lcp 1995-04-06 Now sets eta_contract.
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-10-17 clasohm 1993-10-17 renamed: terms.* to term.*, types.* to type.*, wf.* to wfd.*
1993-09-16 clasohm 1993-09-16 Initial revision