1(*  Title:      HOL/Word/More_Word.thy
2*)
3
4section \<open>Comprehensive Word Library\<close>
5
6theory More_Word
7imports
8  Word
9  Word_Bitwise
10begin
11
12end
13