src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Mon Jun 06 21:28:46 2016 +0200
+++ b/src/HOL/Probability/Probability.thy	Tue Jun 07 15:12:27 2016 +0200
@@ -8,6 +8,7 @@
   Complete_Measure
   Projective_Limit
   Probability_Mass_Function
+  SPMF
   PMF_Impl
   Stream_Space
   Random_Permutations