clarified toplevel_error: absorb and print interrupts; tuned;
clarified toplevel_error: absorb and print interrupts;
tuned;

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