tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction

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