# HG changeset patch
# User wenzelm
# Date 1568555267 -7200
# Node ID edd856e6051a57f4b715419328d240723a19dddc
# Parent  a65b9624cb984584082de81cf1487d87aa2ea363
dump ZF in parallel to HOL Main;

diff -r a65b9624cb98 -r edd856e6051a src/ZF/ROOT
--- a/src/ZF/ROOT	Sun Sep 15 14:01:57 2019 +0200
+++ b/src/ZF/ROOT	Sun Sep 15 15:47:47 2019 +0200
@@ -44,9 +44,8 @@
   "
   sessions
     FOL
-  theories [dump_checkpoint]
+  theories
     ZF (global)
-  theories
     ZFC (global)
   document_files "root.tex"