Full sort information by default. Race condition on successful proofs fixed.
Full sort information by default.
Race condition on successful proofs fixed.

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