--- 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