(* Title: HOL/Word/More_Word.thy *) section \<open>Ancient comprehensive Word Library\<close> theory More_Word imports Word Ancient_Numeral Misc_Auxiliary Misc_Arithmetic Misc_set_bit Misc_lsb begin declare signed_take_bit_Suc [simp] end