src/FOLP/ROOT.ML
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1997-11-12 oheimb 1997-11-12 added thin_refl to hyp_subst_tac
1997-10-28 wenzelm 1997-10-28 do not change global_names flag;
1997-10-20 wenzelm 1997-10-20 adapted to qualified names;
1997-10-10 wenzelm 1997-10-10 fixed dots;
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
1995-04-06 lcp 1995-04-06 Loads the local hypsubst.ML. No longer loads ../Provers/ind.ML, which was never used.
1994-05-19 wenzelm 1994-05-19 thy reader now initialised by init_thy_reader();
1993-12-01 lcp 1993-12-01 now declares FOLP_build_completed
1993-11-09 clasohm 1993-11-09 renamed int-prover.ML to intprover.ML, used exact theory names for use_thy
1993-10-22 clasohm 1993-10-22 changes for new Readthy
1993-09-16 clasohm 1993-09-16 Initial revision