--- a/src/HOL/Data_Structures/AVL_Set.thy Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Data_Structures/AVL_Set.thy Fri Aug 18 20:47:47 2017 +0200
@@ -9,7 +9,7 @@
imports
Cmp
Isin2
- "~~/src/HOL/Number_Theory/Fib"
+ "HOL-Number_Theory.Fib"
begin
type_synonym 'a avl_tree = "('a,nat) tree"