src/HOL/W0/ROOT.ML
2002-02-26 wenzelm 2002-02-26 converted;
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-06-02 paulson 1997-06-02 Corrected banner: it is W0, not MiniML
1997-01-17 nipkow 1997-01-17 Incorporated Larry's changes.
1997-01-17 nipkow 1997-01-17 This is the old version og MiniML for the monomorphic case. The new version is now in MiniML.