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