Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. uniform mask operation
  2. clearer separation of pre-word bit list material
Changeset 72082:41393ecb57ac by haftmann:
uniform mask operation
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Z2.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 72081:e4d42f5766dc by haftmann:
clearer separation of pre-word bit list material
The file was modified src/HOL/Word/Bit_Comprehension.thy (diff)
The file was modified src/HOL/Word/Bit_Lists.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)