src/HOL/Word/WordDefinition.thy

--- a/src/HOL/Word/WordDefinition.thy	Wed Jun 30 16:41:03 2010 +0200
+++ b/src/HOL/Word/WordDefinition.thy	Wed Jun 30 16:45:47 2010 +0200
@@ -8,7 +8,7 @@
 header {* Definition of Word Type *}
 
 theory WordDefinition
-imports Type_Length Misc_Typedef BinBoolList
+imports Type_Length Misc_Typedef Bool_List_Representation
 begin
 
 subsection {* Type definition *}