--- a/src/HOL/Word/Word.thy Mon Dec 23 16:29:43 2013 +0100
+++ b/src/HOL/Word/Word.thy Mon Dec 23 18:37:51 2013 +0100
@@ -8,7 +8,7 @@
imports
Type_Length
"~~/src/HOL/Library/Boolean_Algebra"
- Bit_Bit
+ Bits_Bit
Bool_List_Representation
Misc_Typedef
Word_Miscellaneous