switch from Nat_Int_Bij to Nat_Bijection
switch from Nat_Int_Bij to Nat_Bijection

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle