added gen_merge_lists(') and merge_lists('); removed obsolete generic_extend, generic_merge, extend_list;
added gen_merge_lists(') and merge_lists(');
removed obsolete generic_extend, generic_merge, extend_list;

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