Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. consolidated map2 clones
  2. separate type class for bit comprehension
  3. no need to maintain two separate type classes
  4. clarified structure of theories
Changeset 70193:49a65e3f04c9 by haftmann:
consolidated map2 clones
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Misc_Auxiliary.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Bitwise.thy (diff)
Changeset 70192:b4bf82ed0ad5 by haftmann:
separate type class for bit comprehension
The file was addedsrc/HOL/Word/Bit_Comprehension.thy
The file was modified src/HOL/Word/Bits.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 70191:bdc835d934b7 by haftmann:
no need to maintain two separate type classes
The file was modified src/HOL/Word/Bits.thy (diff)
The file was modified src/HOL/Word/Bits_Bit.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 70190:ff9efdc84289 by haftmann:
clarified structure of theories
The file was addedsrc/HOL/Word/Misc_Auxiliary.thy
The file was modified src/HOL/Word/Bits.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Misc_Arithmetic.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Bitwise.thy (diff)
The file was removedsrc/HOL/Word/Bit_Representation.thy
The file was removedsrc/HOL/Word/Bool_List_Representation.thy