changed order of facts so that 'name_tabs' has the same order everywhere (which affects unaliasing)
changed order of facts so that 'name_tabs' has the same order everywhere (which affects unaliasing)

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