src/HOL/Set.thy
changeset 2545 d10abc8c11fb
parent 2412 025e80ed698d
child 2684 9781d63ef063