thy_deps: sort Context.thy_ord;

--- a/src/Pure/Isar/isar_cmd.ML	Thu Apr 05 00:30:31 2007 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Apr 05 00:30:32 2007 +0200
@@ -494,7 +494,8 @@
 val thy_deps = Toplevel.unknown_theory o Toplevel.keep (fn state =>
   let
     val thy = Toplevel.theory_of state;
-    val gr = rev (thy :: Theory.ancestors_of thy) |> map (fn node =>
+    val all_thys = sort Context.thy_ord (thy :: Theory.ancestors_of thy);
+    val gr = all_thys |> map (fn node =>
       let
         val name = Context.theory_name node;
         val parents = map Context.theory_name (Theory.parents_of node);