Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tuned multiset lattice
  2. More lemmas on Gcd/Lcm
  3. Conditionally complete lattice of multisets
Changeset 63360:65a9eb946ff2 by manuel eberl _eberlm@in.tum.de_:
Tuned multiset lattice
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 63359:99b51ba8da1c by manuel eberl _eberlm@in.tum.de_:
More lemmas on Gcd/Lcm
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 63358:a500677d4cec by manuel eberl _eberlm@in.tum.de_:
Conditionally complete lattice of multisets
The file was modified src/HOL/Library/Multiset.thy (diff)