removed use.ML;

--- a/src/Pure/General/ROOT.ML	Thu Feb 04 18:12:09 1999 +0100
+++ b/src/Pure/General/ROOT.ML	Thu Feb 04 18:12:26 1999 +0100
@@ -17,7 +17,6 @@
 use "source.ML";
 use "symbol.ML";
 use "pretty.ML";
-use "use.ML";
 
 structure PureGeneral =
 struct
@@ -34,5 +33,4 @@
   structure Source = Source;
   structure Symbol = Symbol;
   structure Pretty = Pretty;
-  structure Use = Use;
 end;