--- a/src/HOL/Data_Structures/Brother12_Set.thy Sat Apr 07 22:09:57 2018 +0200
+++ b/src/HOL/Data_Structures/Brother12_Set.thy Sun Apr 08 09:46:33 2018 +0200
@@ -5,7 +5,7 @@
theory Brother12_Set
imports
Cmp
- Set_by_Ordered
+ Set_Interfaces
"HOL-Number_Theory.Fib"
begin