Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned whitespace
  2. proper prefix syntax
  3. removed unused auxiliary lemmas
Changeset 71150:9e7d40d67258 by haftmann:
tuned whitespace
The file was modified NEWS (diff)
Changeset 71149:a7d1fb0c9e16 by haftmann:
proper prefix syntax
The file was modified NEWS (diff)
The file was modified src/HOL/Word/Bits.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 71148:9d2716dc79a6 by haftmann:
removed unused auxiliary lemmas
The file was modified src/HOL/Divides.thy (diff)