1
(* Title: TFL/ROOT.ML
2
ID: $Id$
3
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
4
Copyright 1996 University of Cambridge
5
6
Builds and tests Slind's TFL package.
7
Should be executed in the subdirectory HOL.
8
*)
9
10
use"sys.sml";
11
use_dir"examples/Subst";