src/HOL/Finite_Set.thy
changeset 14722 8e739a6eaf11
parent 14661 9ead82084de8
child 14738 83f1a514dcb4