src/Pure/ROOT.ML
changeset 4270 957c887b89b5
parent 4256 e768c42069bb
child 4278 c64867c093fb
     1.1 --- a/src/Pure/ROOT.ML	Fri Nov 21 15:26:22 1997 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Nov 21 15:27:43 1997 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4  use "type_infer.ML";
     1.5  use "type.ML";
     1.6  use "sign.ML";
     1.7 -use "sequence.ML";
     1.8 +use "seq.ML";
     1.9  use "envir.ML";
    1.10  use "pattern.ML";
    1.11  use "unify.ML";