src/HOL/Library/Infinite_Set.thy
changeset 42231 bc1891226d00
parent 40786 0a54cfc9add3
child 44169 bdcc11b2fdc8