# HG changeset patch
# User wenzelm
# Date 880122855 -3600
# Node ID 61c6ae12ca14b375edee5bdf580e5effb1fdd885
# Parent  3a82492e70c52ce8d9865f0569ea5d94d1eb070e
obsolete;

diff -r 3a82492e70c5 -r 61c6ae12ca14 TFL/README
--- 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";