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