TFL/README
author paulson
Mon, 23 Jun 1997 11:30:35 +0200
changeset 3458 5ff4bfab859c
parent 3191 14bd6e5985f1
permissions -rw-r--r--
Removal of COND_CONG, which is just if_cong RS eq_reflection

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