src/HOL/Library/NatPair.thy
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Thu, 26 Feb 2004 01:04:39 +0100 nipkow corrected authors
Thu, 24 Jul 2003 16:37:04 +0200 paulson new theory NatPair of the injection from nat*nat -> nat
less more (0) tip