products/sources/formale Sprachen/Isabelle/HOL/Probability/ex/Measure_Not_CCC.thy