TFL/ROOT.ML

--- a/TFL/ROOT.ML	Thu May 15 11:35:26 1997 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-(*  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";