src/HOL/Library/Multiset.thy
changeset 62337 d3996d5873dd
parent 62208 ad43b3ab06e4
child 62324 ae44f16dcea5