changeset 31203 | 5c8fb4fd67e0 |
parent 31192 | a324d214009c |
child 31205 | 98370b26c2ce |
1.1 --- a/src/HOL/Library/Code_Integer.thy Tue May 19 13:57:31 2009 +0200 1.2 +++ b/src/HOL/Library/Code_Integer.thy Tue May 19 13:57:32 2009 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 header {* Pretty integer literals for code generation *} 1.5 1.6 theory Code_Integer 1.7 -imports Main Code_Index 1.8 +imports Main 1.9 begin 1.10 1.11 text {*