diff -r 95be866e49fc -r 20d15328b248 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Oct 20 18:42:01 2016 +0200
+++ b/src/HOL/ROOT	Thu Oct 20 19:39:27 2016 +0200
@@ -181,7 +181,7 @@
   theories [document = false]
     "Less_False"
     "~~/src/HOL/Library/Multiset"
-    "~~/src/HOL/Library/Float"
+    "~~/src/HOL/Number_Theory/Fib"
   theories
     Balance
     Tree_Map