TFL/README
author oheimb
Wed, 12 Nov 1997 12:34:43 +0100
changeset 4206 688050e83d89
parent 3191 14bd6e5985f1
permissions -rw-r--r--
restored last version

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";