TFL/README
author oheimb
Wed, 12 Nov 1997 12:34:43 +0100
changeset 4206 688050e83d89
parent 3191 14bd6e5985f1
permissions -rw-r--r--
restored last version
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2112
3902e9af752f Konrad Slind's TFL
paulson
parents:
diff changeset
     1
How to build TFL and run the Unify example.
3902e9af752f Konrad Slind's TFL
paulson
parents:
diff changeset
     2
3902e9af752f Konrad Slind's TFL
paulson
parents:
diff changeset
     3
1. Invoke the current version of Isabelle-HOL.
3902e9af752f Konrad Slind's TFL
paulson
parents:
diff changeset
     4
2. use "sys.sml";  
3191
14bd6e5985f1 TFL now integrated with HOL (more work needed)
paulson
parents: 2112
diff changeset
     5
3. cd "examples/Subst";      or 3. cd "examples";
14bd6e5985f1 TFL now integrated with HOL (more work needed)
paulson
parents: 2112
diff changeset
     6
4. use "ROOT.ML";               4. use"test.sml";