TFL/README
changeset 3191 14bd6e5985f1
parent 2112 3902e9af752f
equal deleted inserted replaced
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";