No longer imports InfiniteSet, ATP_Linkup is sufficient.
No longer imports InfiniteSet, ATP_Linkup is sufficient.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle