diff -r d83a1eeff9d2 -r f9ad2e591957 src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Aug 09 20:35:21 2016 +0200
+++ b/src/HOL/ROOT	Tue Aug 09 21:18:32 2016 +0200
@@ -176,7 +176,9 @@
   theories [document = false]
     "Less_False"
     "~~/src/HOL/Library/Multiset"
+    "~~/src/HOL/Library/Float"
   theories
+    Balance_List
     Tree_Map
     AVL_Map
     RBT_Map