src/HOL/Cardinals/Wellorder_Constructions.thy

--- a/src/HOL/Cardinals/Wellorder_Constructions.thy	Wed Jul 18 12:21:55 2018 +0200
+++ b/src/HOL/Cardinals/Wellorder_Constructions.thy	Thu Jul 19 09:10:22 2018 +0100
@@ -9,7 +9,7 @@
 
 theory Wellorder_Constructions
 imports
-  HOL.BNF_Wellorder_Constructions Wellorder_Embedding Order_Union
+  Wellorder_Embedding Order_Union
   "HOL-Library.Cardinal_Notations"
 begin