src/HOL/Set.ML
changeset 11008 f7333f055ef6
parent 11007 438f31613093
child 11166 eca861fd1eb5