add Infinite_Set and Zorn back in (since they are no longer included in main HOL image)
add Infinite_Set and Zorn back in (since they are no longer included in main HOL image)

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