changeset 41413 | 64cd30d6b0b8 |
parent 37667 | 41acc0fa6b6c |
child 44890 | 22f665a2e91c |
--- a/src/HOL/Word/Bit_Representation.thy Wed Dec 29 13:51:17 2010 +0100 +++ b/src/HOL/Word/Bit_Representation.thy Wed Dec 29 17:34:41 2010 +0100 @@ -8,7 +8,7 @@ header {* Basic Definitions for Binary Integers *} theory Bit_Representation -imports Misc_Numeric Bit +imports Misc_Numeric "~~/src/HOL/Library/Bit" begin subsection {* Further properties of numerals *}