src/HOL/Set.ML
changeset 15584 3478bb4f93ff
parent 13653 ef123b9e8089
child 18413 50c0c118e96d