--- a/src/HOL/ROOT Wed Oct 02 14:45:37 2019 +0200
+++ b/src/HOL/ROOT Wed Oct 02 20:58:09 2019 +0200
@@ -8,6 +8,7 @@
directories "../Tools"
theories [dump_checkpoint]
Main (global)
+ theories
Complex_Main (global)
document_files
"root.bib"
@@ -65,7 +66,7 @@
sessions
"HOL-Library"
"HOL-Computational_Algebra"
- theories [dump_checkpoint]
+ theories
Analysis
document_files
"root.tex"
@@ -743,7 +744,7 @@
ATP_Problem_Import
session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
- theories [dump_checkpoint]
+ theories
Probability
document_files "root.tex"
@@ -754,7 +755,7 @@
Measure_Not_CCC
session "HOL-Nominal" in Nominal = "HOL-Library" +
- theories [dump_checkpoint]
+ theories
Nominal
session "HOL-Nominal-Examples" (timing) in "Nominal/Examples" = "HOL-Nominal" +