src/HOL/Finite_Set.thy
changeset 51526 155263089e7b
parent 51489 f738e6dbd844
child 51546 2e26df807dc7