tuned;
authorwenzelm
Sat Nov 22 13:26:30 1997 +0100 (1997-11-22)
changeset 4278c64867c093fb
parent 4277 8336e8d7a680
child 4279 835ea07170a6
tuned;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Fri Nov 21 15:47:39 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Nov 22 13:26:30 1997 +0100
     1.3 @@ -13,6 +13,7 @@
     1.4  print_depth 1;
     1.5  
     1.6  use "library.ML";
     1.7 +use "seq.ML";
     1.8  use "symtab.ML";
     1.9  use "name_space.ML";
    1.10  use "term.ML";
    1.11 @@ -27,7 +28,6 @@
    1.12  use "type_infer.ML";
    1.13  use "type.ML";
    1.14  use "sign.ML";
    1.15 -use "seq.ML";
    1.16  use "envir.ML";
    1.17  use "pattern.ML";
    1.18  use "unify.ML";