src/FOLP/ex/ROOT.ML
2008-03-26 wenzelm 2008-03-26 converted legacy ML scripts;
2008-03-18 wenzelm 2008-03-18 converted legacy ML scripts;
2008-01-27 wenzelm 2008-01-27 eliminated some legacy ML files;
2005-09-18 wenzelm 2005-09-18 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);
1997-12-19 wenzelm 1997-12-19 tuned;
1997-02-10 paulson 1997-02-10 Renamed structure Int (intuitionistic prover) to IntPr to prevent clash with Basis Library structure Int
1996-11-27 paulson 1996-11-27 Uses Basis Library equivalent of cd
1996-01-30 clasohm 1996-01-30 expanded tabs; removed commit() from ROOT.ML
1996-01-29 clasohm 1996-01-29 expanded tabs
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-10-24 clasohm 1995-10-24 added calls of init_html and make_chart
1993-12-01 lcp 1993-12-01 now inspects FOLP_build_completed
1993-11-16 clasohm 1993-11-16 changed use_thy's parameter to exact theory name
1993-09-16 clasohm 1993-09-16 Initial revision