src/HOL/Subst/ROOT.ML
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-05-15 paulson 1997-05-15 New version, modified by Konrad Slind and LCP for TFL
1996-01-30 clasohm 1996-01-30 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
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-06-29 clasohm 1995-06-29 renamed CHOL to HOL
1995-03-21 clasohm 1995-03-21 converted Subst with curried function application