obsolete;

--- a/TFL/README	Fri Nov 21 15:29:56 1997 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-How to build TFL and run the Unify example.
-
-1. Invoke the current version of Isabelle-HOL.
-2. use "sys.sml";  
-3. cd "examples/Subst";      or 3. cd "examples";
-4. use "ROOT.ML";               4. use"test.sml";