src/FOLP/ROOT.ML
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