TFL/README
author wenzelm
Fri Mar 07 15:30:23 1997 +0100 (1997-03-07)
changeset 2768 bc6d915b8019
parent 2112 3902e9af752f
child 3191 14bd6e5985f1
permissions -rw-r--r--
renamed SYSTEM to RAW_ML_SYSTEM;
paulson@2112
     1
How to build TFL and run the Unify example.
paulson@2112
     2
paulson@2112
     3
1. Invoke the current version of Isabelle-HOL.
paulson@2112
     4
2. use "sys.sml";  
paulson@2112
     5
3. cd examples/Subst
paulson@2112
     6
4. use "ROOT.ML";