1
How to build TFL and run the Unify example.
2
3
1. Invoke the current version of Isabelle-HOL.
4
2. use "sys.sml";
5
3. cd "examples/Subst"; or 3. cd "examples";
6
4. use "ROOT.ML"; 4. use"test.sml";