Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. signed_take_bit
  2. more on single-bit operations
Changeset 72010:a851ce626b78 by haftmann:
signed_take_bit
The file was modified NEWS
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Word/Ancient_Numeral.thy
The file was modified src/HOL/Word/Bits_Int.thy
The file was modified src/HOL/Word/More_Word.thy
The file was modified src/HOL/Word/Word.thy
The file was modified src/HOL/ex/Word.thy
Changeset 72009:febdd4eead56 by haftmann:
more on single-bit operations
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Word/Word.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. signed_take_bit
Changeset 11186:70ae335403b7 by haftmann:
signed_take_bit
The file was modified thys/JinjaThreads/Execute/Java2Jinja.thy
The file was modified thys/Native_Word/Code_Symbolic_Bits_Int.thy
The file was modified thys/Native_Word/More_Bits_Int.thy