src/HOL/Subst/ROOT.ML
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Thu, 15 May 1997 12:40:01 +0200 paulson New version, modified by Konrad Slind and LCP for TFL
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Tue, 21 Nov 1995 12:43:09 +0100 clasohm removed make_chart;
Tue, 24 Oct 1995 14:50:24 +0100 clasohm added calls of init_html and make_chart
Wed, 04 Oct 1995 13:12:14 +0100 clasohm added local simpsets
less more (0) -7 tip