replaced Symtab.merge_multi by local merge_rules;
replaced Symtab.merge_multi by local merge_rules;

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