changeset 121 | d392174734e9 |
parent 72 | 099d949fe467 |
child 1296 | ae31bb7774a7 |
--- a/src/LCF/ROOT.ML Mon Nov 15 14:41:25 1993 +0100 +++ b/src/LCF/ROOT.ML Tue Nov 16 14:10:19 1993 +0100 @@ -11,10 +11,8 @@ val banner = "Logic for Computable Functions (in FOL)"; writeln banner; -set_loadpath [".", "../FOL"]; - print_depth 1; -use_thy "lcf"; +use_thy "LCF"; use"simpdata.ML"; use"pair.ML"; use"fix.ML";