--- a/src/Pure/ROOT.ML Thu Nov 20 15:07:19 1997 +0100 +++ b/src/Pure/ROOT.ML Thu Nov 20 15:28:48 1997 +0100 @@ -26,7 +26,6 @@ use "sorts.ML"; use "type_infer.ML"; use "type.ML"; -use "data.ML"; use "sign.ML"; use "sequence.ML"; use "envir.ML";