src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Mon Oct 06 16:27:07 2014 +0200
+++ b/src/HOL/Probability/Probability.thy	Mon Oct 06 16:27:31 2014 +0200
@@ -2,12 +2,11 @@
 imports
   Discrete_Topology
   Complete_Measure
-  Probability_Measure
-  Infinite_Product_Measure
   Projective_Limit
   Independent_Family
   Distributions
   Probability_Mass_Function
+  Stream_Space
 begin
 
 end