--- a/src/FOLP/ROOT.ML Tue Oct 28 17:37:46 1997 +0100 +++ b/src/FOLP/ROOT.ML Tue Oct 28 17:41:15 1997 +0100 @@ -12,8 +12,6 @@ writeln banner; -reset global_names; - print_depth 1; use_thy "IFOLP";