Up to index of Isabelle/ZF
(* $Id: Main_ZFC.thy,v 1.4 2008/02/11 20:32:10 wenzelm Exp $ *) theory Main_ZFC imports Main_ZF InfDatatype begin end