diff -r 9d5013661ac6 -r 9c66f7c541fb src/HOL/Probability/Probability.thy
--- a/src/HOL/Probability/Probability.thy	Mon Oct 06 21:21:46 2014 +0200
+++ b/src/HOL/Probability/Probability.thy	Tue Oct 07 10:34:24 2014 +0200
@@ -7,6 +7,7 @@
   Distributions
   Probability_Mass_Function
   Stream_Space
+  Giry_Monad
 begin
 
 end