Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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
Changeset 70188:e626bffe28bc by haftmann:
more use of existing locales
The file was modified src/HOL/Library/Boolean_Algebra.thy
Changeset 70187:2082287357e6 by haftmann:
avoid separate type class for mere definitional extension
The file was modified src/HOL/Library/Boolean_Algebra.thy
The file was modified src/HOL/Word/Word.thy
Changeset 70186:18e94864fd0f by haftmann:
tuned name
The file was modified src/HOL/Library/Boolean_Algebra.thy
The file was modified src/HOL/Word/Word.thy