Proof.future_terminal_proof: no fork for interactive mode -- proofs need to be checked immediately here;
Proof.future_terminal_proof: no fork for interactive mode -- proofs need to be checked immediately here;

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