--- a/src/HOL/ROOT Mon Dec 15 07:20:49 2014 +0100
+++ b/src/HOL/ROOT Wed Dec 17 16:10:30 2014 +0100
@@ -715,6 +715,7 @@
Probability
"ex/Dining_Cryptographers"
"ex/Koepf_Duermuth_Countermeasure"
+ "ex/Measure_Not_CCC"
document_files "root.tex"
session "HOL-Nominal" (main) in Nominal = HOL +