Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Word/More_Word.thy
author wenzelm
Thu, 16 Jul 2020 20:34:21 +0200
changeset 72050 d4de7e4754d2
parent 72010 a851ce626b78
child 72079 8c355e2dd7db
permissions -rw-r--r--
clarified theory data: more robust merge;

(*  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
isabelle