src/HOL/Library/NatPair.thy
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-02-26 nipkow 2004-02-26 corrected authors
2003-07-24 paulson 2003-07-24 new theory NatPair of the injection from nat*nat -> nat