Theory Main_ZFC

Up to index of Isabelle/ZF

theory Main_ZFC
imports InfDatatype

theory Main_ZFC imports Main_ZF InfDatatype
begin


end