src/HOL/Library/NatPair.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
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