src/HOL/ZF/Helper.thy
Tue, 07 Mar 2006 16:03:31 +0100 obua Added HOL-ZF to Isabelle.
less more (0) tip