--- a/src/HOL/ROOT Tue Sep 03 14:56:43 2019 +0200
+++ b/src/HOL/ROOT Tue Sep 03 14:58:29 2019 +0200
@@ -734,7 +734,7 @@
ATP_Problem_Import
session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
- theories
+ theories [dump_checkpoint]
Probability
document_files "root.tex"
@@ -745,7 +745,7 @@
Measure_Not_CCC
session "HOL-Nominal" in Nominal = "HOL-Library" +
- theories
+ theories [dump_checkpoint]
Nominal
session "HOL-Nominal-Examples" (timing) in "Nominal/Examples" = "HOL-Nominal" +