src/ZF/IntArith.thy
Thu, 15 Mar 2012 16:35:02 +0000 paulson replacing ":" by "\<in>"
Tue, 06 Mar 2012 16:06:52 +0000 paulson Using mathematical notation for <-> and cardinal arithmetic
Sun, 20 Nov 2011 20:15:02 +0100 wenzelm eliminated obsolete "standard";
Mon, 16 Jun 2008 17:54:51 +0200 wenzelm converted ML proofs;
Thu, 31 May 2007 12:06:31 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip