src/HOL/Code_Numeral.thy
changeset 47255 30a1692557b0
parent 47108 2a1953f0d20d
child 48431 6efff142bb54
     1.1 --- a/src/HOL/Code_Numeral.thy	Sun Apr 01 09:12:03 2012 +0200
     1.2 +++ b/src/HOL/Code_Numeral.thy	Sun Apr 01 16:09:58 2012 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* Type of target language numerals *}
     1.5  
     1.6  theory Code_Numeral
     1.7 -imports Nat_Numeral Nat_Transfer Divides
     1.8 +imports Nat_Transfer Divides
     1.9  begin
    1.10  
    1.11  text {*