--- a/src/HOL/Word/Word.thy Thu Oct 31 11:44:20 2013 +0100
+++ b/src/HOL/Word/Word.thy Thu Oct 31 11:44:20 2013 +0100
@@ -8,6 +8,7 @@
imports
Type_Length
"~~/src/HOL/Library/Boolean_Algebra"
+ Bit_Bit
Bool_List_Representation
Misc_Typedef
Word_Miscellaneous