| changeset 24401 | d9d2aa843a3b |
| parent 24374 | bb0d3b49fef0 |
| child 24405 | 30887caeba62 |
--- a/src/HOL/Word/WordShift.thy Wed Aug 22 16:54:43 2007 +0200 +++ b/src/HOL/Word/WordShift.thy Wed Aug 22 16:55:46 2007 +0200 @@ -7,7 +7,7 @@ header {* Shifting, Rotating, and Splitting Words *} -theory WordShift imports WordBitwise begin +theory WordShift imports WordBitwise WordBoolList begin subsection "Bit shifting"