TFL/README
author wenzelm
Thu, 06 Feb 1997 17:52:40 +0100
changeset 2587 ac51a89627ed
parent 2112 3902e9af752f
child 3191 14bd6e5985f1
permissions -rw-r--r--
added eq_sort (will move to sorts.ML eventually); added get_sort (handles constraints / defaults); attach_types: adapted to new get_sort;

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
4. use "ROOT.ML";