Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit type class operations for type-specific implementations
  2. obsolete
Changeset 73682:78044b2f001c by haftmann:
explicit type class operations for type-specific implementations
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
The file was modified src/HOL/Library/Z2.thy (diff)
Changeset 73681:3708884bfa8a by haftmann:
obsolete
The file was modified NEWS (diff)