src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Thu Mar 04 19:50:45 2010 +0100
+++ b/src/HOL/Probability/Probability.thy	Thu Mar 04 21:52:26 2010 +0100
@@ -1,5 +1,5 @@
 theory Probability
-imports Measure Borel
+imports Probability_Space
 begin
 
 end