unused_thms: print via official context (ProofContext.pretty_fact),   not just the theory certificate (Display.pretty_thm); tuned;
unused_thms: print via official context (ProofContext.pretty_fact),
  not just the theory certificate (Display.pretty_thm);
tuned;

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