Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. generalized
  2. restructured
  3. grouped lemmas for symbolic computations
  4. sorted out lemma duplicates
Changeset 79071:7ab8b3f1d84b by haftmann:
generalized
The file was modified src/HOL/Bit_Operations.thy (diff)
Changeset 79070:a4775fe69f5d by haftmann:
restructured
The file was modified src/HOL/Bit_Operations.thy (diff)
Changeset 79069:48ca09068adf by haftmann:
grouped lemmas for symbolic computations
The file was modified src/HOL/Bit_Operations.thy (diff)
Changeset 79068:cb72e2c0c539 by haftmann:
sorted out lemma duplicates
The file was modified src/HOL/Bit_Operations.thy (diff)