removed obsolete gen_ins/mem; added merge -- supercedes gen_merge_lists';
removed obsolete gen_ins/mem;
added merge -- supercedes gen_merge_lists';

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