src/ZF/Int.thy
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip