src/HOL/Set.thy
changeset 66010 2f7d39285a1a
parent 63959 f77dca1abf1b
child 66802 627511c13164