
diff -r 61d5d50ca74c -r d596e7bb251f src/HOL/Probability/Information.thy
--- a/src/HOL/Probability/Information.thy	Tue Mar 29 14:27:41 2011 +0200
+++ b/src/HOL/Probability/Information.thy	Tue Mar 29 14:27:42 2011 +0200
@@ -7,7 +7,7 @@
 
 theory Information
 imports
-  Probability_Space
+  Probability_Measure
   "~~/src/HOL/Library/Convex"
 begin
 




