src/HOL/Library/Infinite_Set.thy
changeset 23315 df3a7e9ebadb
parent 22432 1d00d26fee0d
child 23394 474ff28210c0