reactivate time measurement (partly reverting c27b0b37041a); export pretty_theorem, to display both internal or external facts
reactivate time measurement (partly reverting c27b0b37041a);
export pretty_theorem, to display both internal or external facts

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