src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Sun Jul 25 21:42:39 2010 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Jul 26 13:50:52 2010 +0200
@@ -153,8 +153,10 @@
 fun loaded_files name =
   (case get_deps name of
     NONE => []
-  | SOME {master, ...} => (case master of SOME (thy_path, _) => [thy_path] | NONE => [])) @
-  Thy_Load.loaded_files (get_theory name);
+  | SOME {master, ...} =>
+      (case master of
+        NONE => []
+      | SOME (thy_path, _) => thy_path :: Thy_Load.loaded_files (get_theory name)));