changeset 33296 | a3924d1069e5 |
parent 32061 | 6d28bbd33e2c |
child 33301 | ddd97d9dfbfb |
1.1 --- a/src/HOL/Code_Numeral.thy Wed Oct 28 17:44:03 2009 +0100 1.2 +++ b/src/HOL/Code_Numeral.thy Wed Oct 28 19:09:47 2009 +0100 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 1.8 +imports Nat_Numeral Divides 1.9 begin 1.10 1.11 text {*