diff -r 82f68fd05094 -r 92e442b783db src/Pure/Interface/ROOT.ML
--- a/src/Pure/Interface/ROOT.ML	Tue Oct 23 22:52:31 2001 +0200
+++ b/src/Pure/Interface/ROOT.ML	Tue Oct 23 22:52:45 2001 +0200
@@ -1,8 +1,8 @@
 (*  Title:      Pure/Interface/ROOT.ML
     ID:         $Id$
 
-Miscellaneous interfaces.
+Specific support for user-interfaces.
 *)
 
+use "isamode.ML";
 use "proof_general.ML";
-use "isamode.ML";