src/Pure/ROOT.ML
changeset 4278 c64867c093fb
parent 4270 957c887b89b5
child 4362 e10acc395f0d
     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";