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