adding a nice definition of Id_on for quickcheck and nitpick
adding a nice definition of Id_on for quickcheck and nitpick

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