* extended interface of record_split_simp_tac and record_split_simproc * improved record_type_abbr_tr'
* extended interface of record_split_simp_tac and record_split_simproc
* improved record_type_abbr_tr'

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