Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid overaggressive contraction of conversions
  2. normalizing NOT (numeral _) (again)
Changeset 74496:807b094a9b78 by haftmann:
avoid overaggressive contraction of conversions
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/F.thy (diff)
The file was modified src/HOL/SPARK/Examples/RIPEMD-160/Round.thy (diff)
Changeset 74495:bc27c490aaac by haftmann:
normalizing NOT (numeral _) (again)
The file was modified NEWS (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)