Theory Main_ZFC

Up to index of Isabelle/ZF

theory Main_ZFC
imports Main InfDatatype
uses [Main_ZFC.ML]
begin

theory Main_ZFC imports Main InfDatatype begin

end