Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid smt proofs in distribution
Changeset 67160:f37bf261bdf6 by haftmann:
avoid smt proofs in distribution
The file was modified src/HOL/Word/Bit_Representation.thy (diff)
The file was modified src/HOL/Word/Misc_Numeric.thy (diff)