--- a/src/ZF/ROOT Wed Sep 04 22:12:44 2019 +0200
+++ b/src/ZF/ROOT Fri Sep 06 10:28:29 2019 +0200
@@ -44,9 +44,9 @@
"
sessions
FOL
- theories
+ theories [dump_checkpoint]
ZF (global)
- theories [dump_checkpoint]
+ theories
ZFC (global)
document_files "root.tex"