src/Sequents/ROOT.ML
changeset 3948 3428c0a88449
parent 3511 da4dd8b7ced4
child 5210 54aaa779b6b4
     1.1 --- a/src/Sequents/ROOT.ML	Mon Oct 20 11:25:39 1997 +0200
     1.2 +++ b/src/Sequents/ROOT.ML	Mon Oct 20 11:39:29 1997 +0200
     1.3 @@ -9,6 +9,8 @@
     1.4  val banner = "Sequent Calculii";
     1.5  writeln banner;
     1.6  
     1.7 +reset global_names;
     1.8 +
     1.9  print_depth 1;  
    1.10  
    1.11  use_thy "Sequents";