src/HOL/Probability/Probability.thy

--- a/src/HOL/Probability/Probability.thy	Tue Oct 18 16:05:24 2016 +0100
+++ b/src/HOL/Probability/Probability.thy	Tue Oct 18 17:29:28 2016 +0200
@@ -12,6 +12,7 @@
   SPMF
   Stream_Space
   Conditional_Expectation
+  Essential_Supremum
 begin
 
 end