Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. follow convention of bold local syntax
  2. more use of existing locales
  3. avoid separate type class for mere definitional extension
  4. tuned name
Changeset 70189:6d2effbbf8d4 by haftmann:
follow convention of bold local syntax
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
Changeset 70188:e626bffe28bc by haftmann:
more use of existing locales
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
Changeset 70187:2082287357e6 by haftmann:
avoid separate type class for mere definitional extension
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 70186:18e94864fd0f by haftmann:
tuned name
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)