src/HOL/Data_Structures/AVL_Set.thy
changeset 66453 cc19f7ca2ed6
parent 63411 e051eea34990
child 67406 23307fd33906
     1.1 --- a/src/HOL/Data_Structures/AVL_Set.thy	Fri Aug 18 13:55:05 2017 +0200
     1.2 +++ b/src/HOL/Data_Structures/AVL_Set.thy	Fri Aug 18 20:47:47 2017 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  imports
     1.5   Cmp
     1.6   Isin2
     1.7 -  "~~/src/HOL/Number_Theory/Fib"
     1.8 +  "HOL-Number_Theory.Fib"
     1.9  begin
    1.10  
    1.11  type_synonym 'a avl_tree = "('a,nat) tree"