removed release_results (cf. Exn.release_all, Exn.release_first);
removed release_results (cf. Exn.release_all, Exn.release_first);

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