src/Pure/Isar/isar_cmd.ML

--- a/src/Pure/Isar/isar_cmd.ML	Tue Aug 03 18:10:18 2010 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Tue Aug 03 18:13:57 2010 +0200
@@ -391,7 +391,7 @@
     val thy = Toplevel.theory_of state;
     val thy_session = Present.session_name thy;
 
-    val all_thys = sort Thy_Info.thy_ord (thy :: Theory.ancestors_of thy);
+    val all_thys = rev (thy :: Theory.ancestors_of thy);
     val gr = all_thys |> map (fn node =>
       let
         val name = Context.theory_name node;