src/HOL/Nat_Int_Bij.thy
2008-09-02 nipkow 2008-09-02 Replaced Library/NatPair by Nat_Int_Bij.