--- a/src/HOL/ROOT Thu Nov 02 15:21:35 2017 +0100
+++ b/src/HOL/ROOT Fri Nov 03 13:43:31 2017 +0100
@@ -687,7 +687,7 @@
session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
theories
- Probability (global)
+ Probability
document_files "root.tex"
session "HOL-Probability-ex" (timing) in "Probability/ex" = "HOL-Probability" +
@@ -824,7 +824,7 @@
session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" +
theories
- SPARK (global)
+ SPARK
session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" +
options [spark_prv = false]