Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added asymp_{less,greater} to preorder and moved mult1_lessE out
  2. renamed multp_code_iff and multeqp_code_iff
  3. simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0
  4. renamed Multiset.multp and Multiset.multeqp
Changeset 74806:ba59c691b3ee by desharna:
added asymp_{less,greater} to preorder and moved mult1_lessE out
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy
The file was modified src/HOL/Library/Multiset_Order.thy
The file was modified src/HOL/Relation.thy
Changeset 74805:b65336541c19 by desharna:
renamed multp_code_iff and multeqp_code_iff
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy
Changeset 74804:5749fefd3fa0 by desharna:
simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy
Changeset 74803:825cd198d85c by desharna:
renamed Multiset.multp and Multiset.multeqp
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy