src/FOLP/ROOT.ML
changeset 3942 1f1c1f524d19
parent 3836 f1a1817659e6
child 4024 3c056eab237c
     1.1 --- a/src/FOLP/ROOT.ML	Mon Oct 20 11:01:07 1997 +0200
     1.2 +++ b/src/FOLP/ROOT.ML	Mon Oct 20 11:06:01 1997 +0200
     1.3 @@ -12,6 +12,8 @@
     1.4  
     1.5  writeln banner;
     1.6  
     1.7 +reset global_names;
     1.8 +
     1.9  print_depth 1;
    1.10  
    1.11  use_thy "IFOLP";