Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned name of bit truncating operations
  2. dedicated syntax for types with a length
Changeset 64114:45e065eea984 by haftmann:
tuned name of bit truncating operations
The file was modified src/HOL/ex/Word_Type.thy (diff)
Changeset 64113:86efd3d4dc98 by haftmann:
dedicated syntax for types with a length
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Type_Length.thy (diff)
The file was modified src/HOL/ex/Word_Type.thy (diff)