src/HOL/Set.ML
changeset 7584 5be4bb8e4e3f
parent 7499 23e090051cb8
child 7658 2d3445be4e91