# HG changeset patch
# User wenzelm
# Date 1571129562 -7200
# Node ID 2010397f7c9a794b6cef7233f728d898a24454af
# Parent  b627cfb23595869614360e1293b38ce4a0b96a17
load HOL-Proofs first: it introduces some extra "thm" items that are required later on;

diff -r b627cfb23595 -r 2010397f7c9a src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Mon Oct 14 22:37:43 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Tue Oct 15 10:52:42 2019 +0200
@@ -207,7 +207,7 @@
           List(part1, part2, afp_bulky_sessions).flatMap(make_session(_))
         }
 
-      base ::: main ::: proofs ::: afp
+      proofs ::: base ::: main ::: afp
     }
   }