(* Title: HOL/MiniML/ROOT.ML ID: $Id$ Author: Wolfgang Naraschewski and Tobias Nipkow Copyright 1995 TUM Type inference for MiniML *) HOL_build_completed; (*Make examples fail if HOL did*) writeln"Root file for HOL/MiniML"; time_use_thy "W";