removed make_chart;
theories are now read from the current directory (because of use_dir)
(* Title: HOL/MiniML/ROOT.ML
ID: $Id$
Author: Tobias Nipkow
Copyright 1995 TUM
Type inference for let-free MiniML
*)
HOL_build_completed; (*Make examples fail if HOL did*)
writeln"Root file for HOL/MiniML";
Unify.trace_bound := 20;
time_use_thy "I";