diff -r 10a8d943a8d8 -r a1cf296a7786 src/HOL/Word/More_Word.thy
--- a/src/HOL/Word/More_Word.thy	Wed Jul 01 17:32:10 2020 +0000
+++ b/src/HOL/Word/More_Word.thy	Wed Jul 01 17:32:11 2020 +0000
@@ -1,12 +1,11 @@
 (*  Title:      HOL/Word/More_Word.thy
 *)
 
-section \<open>Comprehensive Word Library\<close>
+section \<open>Ancient comprehensive Word Library\<close>
 
 theory More_Word
 imports
   Word
-  Word_Bitwise
 begin
 
 end