diff -r 8737b866bd1c -r 67dbf5cdc056 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Fri Sep 29 17:41:39 2017 +0200
+++ b/src/Pure/Tools/build.scala	Fri Sep 29 20:49:42 2017 +0200
@@ -215,7 +215,7 @@
                 (store.browser_info, (info.document_files, (File.standard_path(graph_file),
                 (parent, (info.chapter, (name, (Path.current,
                 (info.theories,
-                (base.global_theories.toList, (base.loaded_theories.toList,
+                (base.global_theories.toList, (base.loaded_theories.keys,
                 base.dest_known_theories)))))))))))))))
             })