removal of HOL_dup_cs rotation of arguments in split, nat_case, sum_case, list_case
removal of HOL_dup_cs
rotation of arguments in split, nat_case, sum_case, list_case

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