# HG changeset patch
# User wenzelm
# Date 1636222671 -3600
# Node ID baed95c975055b07b104d8adde6f6b4a156ea488
# Parent  056de3681cb9da319f0899157d2cf7954b6a95c4
proper foundational order;

diff -r 056de3681cb9 -r baed95c97505 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Sat Nov 06 18:16:54 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Sat Nov 06 19:17:51 2021 +0100
@@ -431,7 +431,7 @@
           map(link => HTML.text("View ") ::: List(link))).flatten
     }
 
-    val all_used_theories = hierarchy.flatMap(a => deps(a).used_theories.map(_._1))
+    val all_used_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1))
     val present_theories = html_context.register_presented(all_used_theories)
 
     val theory_exports: Map[String, Export_Theory.Theory] =