Theory Main_ZFC

Up to index of Isabelle/ZF

theory Main_ZFC
imports InfDatatype

(* $Id$ *)

theory Main_ZFC imports Main_ZF InfDatatype begin

end