| changeset 51143 | 0a2371e7ced3 |
| parent 51114 | 3e913a575dc6 |
| child 52435 | 6646bb548c6b |
--- a/src/HOL/Library/Code_Target_Nat.thy Fri Feb 15 08:31:30 2013 +0100 +++ b/src/HOL/Library/Code_Target_Nat.thy Fri Feb 15 08:31:31 2013 +0100 @@ -5,7 +5,7 @@ header {* Implementation of natural numbers by target-language integers *} theory Code_Target_Nat -imports Code_Abstract_Nat Code_Numeral_Types +imports Code_Abstract_Nat begin subsection {* Implementation for @{typ nat} *}