record_split_simp_tac now can get simp rules as parameter
record_split_simp_tac now can get simp rules as parameter

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