adapted permutation functions to new overloading syntax (the functions are still "unchecked" because they are used in conjunction with type-classes)
adapted permutation functions to new overloading syntax (the functions are still "unchecked" because they are used in conjunction with type-classes)

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