Summary
- added asymp_{less,greater} to preorder and moved mult1_lessE out
- renamed multp_code_iff and multeqp_code_iff
- simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0
- renamed Multiset.multp and Multiset.multeqp
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 |
The file was modified | NEWS |
The file was modified | src/HOL/Library/Multiset.thy |
The file was modified | NEWS |
The file was modified | src/HOL/Library/Multiset.thy |
The file was modified | NEWS |
The file was modified | src/HOL/Library/Multiset.thy |