Theory ZFC

theory ZFC imports ZF InfDatatype
begin

end