load HOL-Proofs first: it introduces some extra "thm" items that are required later on;

--- 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
     }
   }