Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. streamlined type class specification
  2. consolidated lemma name
Changeset 79489:1e19abf373ac by haftmann:
streamlined type class specification
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
Changeset 79488:62d8c6c08fb2 by haftmann:
consolidated lemma name
The file was modified NEWS (diff)
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)