src/HOL/Library/NatPair.thy
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
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