
diff -r 85705ba18add -r 9fda41a04c32 src/HOL/Word/Word.thy
--- 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




