record_simproc for sel-upd (by Sebastian Nanz); removed record_splitter by default;
record_simproc for sel-upd (by Sebastian Nanz);
removed record_splitter by default;

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