--- a/src/HOL/Probability/Probability.thy Tue Jun 06 23:13:53 2017 +0200
+++ b/src/HOL/Probability/Probability.thy Wed Jun 07 17:11:45 2017 -0400
@@ -11,6 +11,7 @@
Random_Permutations
SPMF
Stream_Space
+ Tree_Space
Conditional_Expectation
Essential_Supremum
Stopping_Time