Theory Main_ZFC

Up to index of Isabelle/ZF

theory Main_ZFC
imports InfDatatype
begin

theory Main_ZFC imports Main InfDatatype begin

end