src/HOL/Data_Structures/AVL_Set.thy
changeset 67964 08cc5ab18c84
parent 67406 23307fd33906
child 67967 5a4280946a25
     1.1 --- a/src/HOL/Data_Structures/AVL_Set.thy	Sat Apr 07 22:09:57 2018 +0200
     1.2 +++ b/src/HOL/Data_Structures/AVL_Set.thy	Sun Apr 08 09:46:33 2018 +0200
     1.3 @@ -7,8 +7,8 @@
     1.4  
     1.5  theory AVL_Set
     1.6  imports
     1.7 - Cmp
     1.8 - Isin2
     1.9 +  Cmp
    1.10 +  Isin2
    1.11    "HOL-Number_Theory.Fib"
    1.12  begin
    1.13