src/HOL/Code_Numeral.thy

--- a/src/HOL/Code_Numeral.thy	Tue Oct 10 22:18:58 2017 +0100
+++ b/src/HOL/Code_Numeral.thy	Mon Oct 09 19:10:47 2017 +0200
@@ -5,7 +5,7 @@
 section \<open>Numeric types for code generation onto target language numerals only\<close>
 
 theory Code_Numeral
-imports Nat_Transfer Divides Lifting
+imports Divides Lifting
 begin
 
 subsection \<open>Type of target language integers\<close>