pretty_theorems: use proper PureThy.facts_of;
pretty_theorems: use proper PureThy.facts_of;

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