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