--- a/src/HOL/Code_Numeral.thy Sun Apr 01 09:12:03 2012 +0200
+++ b/src/HOL/Code_Numeral.thy Sun Apr 01 16:09:58 2012 +0200
@@ -3,7 +3,7 @@
header {* Type of target language numerals *}
theory Code_Numeral
-imports Nat_Numeral Nat_Transfer Divides
+imports Nat_Transfer Divides
begin
text {*