Theory Main_ZFC
Up
to index of Isabelle/ZF
theory
Main_ZFC
imports
InfDatatype
theory
Main_ZFC
imports
Main_ZF InfDatatype
begin
end