(* Title: TFL/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of CambridgeBuilds and tests Slind's TFL package.Should be executed in the subdirectory HOL.*)use"sys.sml";use_dir"examples/Subst";