Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added lemma multp_repeat_mset_repeat_msetI
  3. more operations;
Changeset 77689:9b8770994780 by desharna:
merged
Changeset 77688:58b3913059fa by desharna:
added lemma multp_repeat_mset_repeat_msetI
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 77687:07e2cafcc97e by wenzelm:
more operations;
The file was modified src/Pure/General/space.scala (diff)