diff -r 556d9cc73711 -r d747c32e85e1 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Fri May 21 21:18:35 2004 +0200
+++ b/src/Pure/Thy/thy_info.ML	Fri May 21 21:18:48 2004 +0200
@@ -124,7 +124,7 @@
 (*theory names in topological order*)
 fun get_names () =
   let val G = get_thys ()
-  in Graph.all_succs G (filter (Library.null o Graph.imm_preds G) (Graph.keys G)) end;
+  in Graph.all_succs G (Graph.minimals G) end;
 
 
 (* access thy *)