src/LCF/ROOT.ML
1998-05-08 wenzelm 1998-05-08 proper thy files;
1997-10-28 wenzelm 1997-10-28 do not change global_names flag;
1997-10-20 wenzelm 1997-10-20 qualified names;
1996-01-30 clasohm 1996-01-30 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
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