--- a/src/HOL/Code_Numeral.thy Thu Oct 29 08:14:39 2009 +0100
+++ b/src/HOL/Code_Numeral.thy Thu Oct 29 11:41:36 2009 +0100
@@ -3,7 +3,7 @@
header {* Type of target language numerals *}
theory Code_Numeral
-imports Nat_Numeral Divides
+imports Nat_Numeral Nat_Transfer Divides
begin
text {*