Theory Main_ZFC

Up to index of Isabelle/ZF

theory Main_ZFC
imports InfDatatype
begin

(* $Id: Main_ZFC.thy,v 1.4 2008/02/11 20:32:10 wenzelm Exp $ *)

theory Main_ZFC imports Main_ZF InfDatatype begin

end