src/Pure/Interface/ROOT.ML

--- a/src/Pure/Interface/ROOT.ML	Fri Jan 11 18:07:30 2002 +0100
+++ b/src/Pure/Interface/ROOT.ML	Fri Jan 11 18:07:45 2002 +0100
@@ -4,5 +4,4 @@
 Specific support for user-interfaces.
 *)
 
-use "isamode.ML";
 use "proof_general.ML";