diff -r 5af701433ea1 -r 0451211bf4a0 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";