On 2010-04-14 03:41, roconnor at theorem.ca wrote: > For example (Int -> Bool) is a perfectly fine Compact set that isn't > finite Did you mean "Integer -> Bool"? "Int -> Bool" is finite, but large. -- Ashley Yakeley