
diff -r 9541f2c5ce8d -r 08cc5ab18c84 src/HOL/Data_Structures/Tree23_Set.thy
--- a/src/HOL/Data_Structures/Tree23_Set.thy	Sat Apr 07 22:09:57 2018 +0200
+++ b/src/HOL/Data_Structures/Tree23_Set.thy	Sun Apr 08 09:46:33 2018 +0200
@@ -6,7 +6,7 @@
 imports
   Tree23
   Cmp
-  Set_by_Ordered
+  Set_Interfaces
 begin
 
 fun isin :: "'a::linorder tree23 \<Rightarrow> 'a \<Rightarrow> bool" where




