| changeset 3191 | 14bd6e5985f1 |
| parent 2112 | 3902e9af752f |
| 3190:5aa3756a4bf2 | 3191:14bd6e5985f1 |
|---|---|
1 How to build TFL and run the Unify example. |
1 How to build TFL and run the Unify example. |
2 |
2 |
3 1. Invoke the current version of Isabelle-HOL. |
3 1. Invoke the current version of Isabelle-HOL. |
4 2. use "sys.sml"; |
4 2. use "sys.sml"; |
5 3. cd examples/Subst |
5 3. cd "examples/Subst"; or 3. cd "examples"; |
6 4. use "ROOT.ML"; |
6 4. use "ROOT.ML"; 4. use"test.sml"; |