src/HOL/Library/NatPair.thy
changeset 16587 b34c8aa657a5
parent 15140 322485b816ac
child 19736 d8d0f8f51d69