(* Title: HOL/Word/More_Word.thy *) section ‹Comprehensive Word Library› theory More_Word imports Word Word_Bitwise begin end