src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Thu Dec 04 21:28:35 2014 +0100
+++ b/src/HOL/Probability/Probability.thy	Fri Dec 05 12:06:18 2014 +0100
@@ -1,3 +1,7 @@
+(*  Title:      HOL/Probability/Probability.thy
+    Author:     Johannes Hölzl, TU München
+*)
+
 theory Probability
 imports
   Discrete_Topology
@@ -7,6 +11,9 @@
   Distributions
   Probability_Mass_Function
   Stream_Space
+  Embed_Measure
+  Interval_Integral
+  Set_Integral
   Giry_Monad
 begin