Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more theorems
  2. avoid overaggressive default simp rules
Changeset 71922:2c6a5c709f22 by haftmann:
more theorems
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
Changeset 71921:a238074c5a9d by haftmann:
avoid overaggressive default simp rules
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)