prefer indexes user for pattern matching to print concrete names for symbols, do not rely on printable unique identifiers
prefer indexes user for pattern matching to print concrete names for symbols, do not rely on printable unique identifiers

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