src/HOL/MiniML/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-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-08-20 paulson 1996-08-20 Some tidying. This brittle proof depends upon AddSEs [less_SucE];
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-10-25 nipkow 1995-10-25 New theory: type inference for let-free MiniML