--- a/src/HOL/Probability/Probability.thy Mon Mar 14 14:37:47 2011 +0100
+++ b/src/HOL/Probability/Probability.thy Mon Mar 14 14:37:49 2011 +0100
@@ -1,6 +1,7 @@
theory Probability
imports
Complete_Measure
+ Lebesgue_Measure
Information
"ex/Dining_Cryptographers"
"ex/Koepf_Duermuth_Countermeasure"