Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Eliminated two unnecessary inductions
  2. NEWS
  3. added lemma image_mset_filter_mset_swap
  4. merged
  5. added lemmas filter_mset_cong{0,}
Changeset 75461:4c3bc0d2568f by paulson _lp15@cam.ac.uk_:
Eliminated two unnecessary inductions
The file was modified src/HOL/Groups_Big.thy (diff)
Changeset 75460:7c2fe41f5ee8 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 75459:ec4b514bcfad by desharna:
added lemma image_mset_filter_mset_swap
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 75458:4117491aa7fe by desharna:
merged
Changeset 75457:cbf011677235 by desharna:
added lemmas filter_mset_cong{0,}
The file was modified src/HOL/Library/Multiset.thy (diff)