Use Isar toplevel print_exn_fn for generating error responses instead of Output.error_msg.
Use Isar toplevel print_exn_fn for generating error responses instead of Output.error_msg.

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