src/HOL/W0/ROOT.ML
Tue, 26 Feb 2002 00:19:04 +0100 wenzelm converted;
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);
Mon, 02 Jun 1997 12:16:24 +0200 paulson Corrected banner: it is W0, not MiniML
Fri, 17 Jan 1997 16:58:59 +0100 nipkow Incorporated Larry's changes.
Fri, 17 Jan 1997 13:21:54 +0100 nipkow This is the old version og MiniML for the monomorphic case.
less more (0) tip