TFL/ROOT.ML

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