Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. avoid hidden undef cases
  3. explicit mask operation for bits
  4. prefer _ mod 2 over of_bool (odd _)
  5. less aggressive default simp rules
Changeset 71825:3ef1418d64a6 by nipkow:
merged
Changeset 71824:95d2d5e60419 by nipkow:
avoid hidden undef cases
The file was modified src/HOL/Data_Structures/AVL_Bal_Set.thy (diff)
Changeset 71823:214b48a1937b by haftmann:
explicit mask operation for bits
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
Changeset 71822:67cc2319104f by haftmann:
prefer _ mod 2 over of_bool (odd _)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/String.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 71821:541e68d1a964 by haftmann:
less aggressive default simp rules
The file was modified src/HOL/ex/Bit_Operations.thy (diff)