
diff -r 96f86c613a9f -r 704e4970d703 src/HOL/Probability/Probability.thy
--- 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




