--- a/src/HOL/Word/Word.thy Tue Apr 16 20:00:14 2019 +0200
+++ b/src/HOL/Word/Word.thy Tue Apr 16 19:50:03 2019 +0000
@@ -9,7 +9,7 @@
"HOL-Library.Type_Length"
"HOL-Library.Boolean_Algebra"
Bits_Bit
- Bool_List_Representation
+ Bits_Int
Misc_Typedef
Word_Miscellaneous
begin