src/HOL/Library/Infinite_Set.thy
changeset 42316 12635bb655fd
parent 40786 0a54cfc9add3
child 44169 bdcc11b2fdc8