diff -r 61eb9f3aa92a -r 45c1eb3d8ad4 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Sun Sep 17 22:21:31 2000 +0200
+++ b/src/Pure/Thy/thy_info.ML	Sun Sep 17 22:22:11 2000 +0200
@@ -385,7 +385,6 @@
   let
     val assert_thy = if upd then quiet_update_thy true else weak_use_thy;
     val _ = check_unfinished error name;
-    val _ = priority (loader_msg "looking up" [name]);
     val _ = (map Path.basic parents; seq assert_thy parents);
     val theory = PureThy.begin_theory name (map get_theory parents);
     val deps =