src/Pure/Tools/dump.scala

             graph.keys.partition(a => force_part1(a) || graph.is_isolated(a))
           }
           List(part1, part2, afp_bulky_sessions).flatMap(make_session(_))
         }
 
-      base ::: main ::: proofs ::: afp
+      proofs ::: base ::: main ::: afp
     }
   }
 
   class Session private[Dump](
     val context: Context,