src/HOL/Library/NatPair.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-27 wenzelm 2006-05-27 tuned;
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