fixed proof script of lemma merges_same_conv (Why did it stop working?);
fixed proof script of lemma merges_same_conv (Why did it stop working?);

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