src/HOL/Library/multiset_simprocs.ML
changeset 66787 64b47495676d
parent 65029 00731700e54f
child 69593 3dda49e08b9d