src/HOL/Word/Word_Examples.thy

--- a/src/HOL/Word/Word_Examples.thy	Sun Jul 05 11:06:09 2020 +0200
+++ b/src/HOL/Word/Word_Examples.thy	Mon Jul 06 10:47:30 2020 +0000
@@ -7,7 +7,7 @@
 section "Examples of word operations"
 
 theory Word_Examples
-  imports Word
+  imports Word Misc_lsb Misc_set_bit
 begin
 
 type_synonym word32 = "32 word"