src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri Aug 25 13:01:13 2017 +0100
+++ b/src/HOL/Library/Library.thy	Fri Aug 25 23:09:56 2017 +0200
@@ -80,6 +80,7 @@
   Sum_of_Squares
   Transitive_Closure_Table
   Tree_Multiset
+  Tree_Real
   Type_Length
   While_Combinator
 begin