speed up extremely slow metis proof of Sup_real_iff (reducing total HOL compilation time by 5% on my machine)
speed up extremely slow metis proof of Sup_real_iff
(reducing total HOL compilation time by 5% on my machine)

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