| changeset 14774 | d747c32e85e1 |
| parent 10009 | 45c1eb3d8ad4 |
| child 14825 | 8cdf5a813cec |
--- 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 *)