clarified exit sequence: prover is reset afterwards, no more output messages;
clarified exit sequence: prover is reset afterwards, no more output messages;

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