src/HOL/Library/multiset_simprocs.ML
changeset 67951 655aa11359dc
parent 65029 00731700e54f
child 69593 3dda49e08b9d