Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas multpHO_repeat_mset_repeat_mset[simp] and multpHO_double_double[simp]
  2. merged
  3. added lemma multp_image_mset_image_msetI
  4. merged
  5. proper invariants
Changeset 77834:52e753197496 by desharna:
added lemmas multpHO_repeat_mset_repeat_mset[simp] and multpHO_double_double[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 77833:9137085647ee by desharna:
merged
Changeset 77832:8260d8971d87 by desharna:
added lemma multp_image_mset_image_msetI
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 77831:d95beee6d9d7 by nipkow:
merged
Changeset 77830:0f2baf04b782 by nipkow:
proper invariants
The file was modified src/HOL/Data_Structures/Tries_Binary.thy (diff)