export exn_message;

--- a/src/Pure/Isar/toplevel.ML	Wed Nov 18 10:56:38 1998 +0100
+++ b/src/Pure/Isar/toplevel.ML	Wed Nov 18 10:56:53 1998 +0100
@@ -50,6 +50,7 @@
   val proof_to_theory: (ProofHistory.T -> theory) -> transition -> transition
   type isar
   val trace: bool ref
+  val exn_message: exn -> string
   val apply: bool -> transition -> state -> (state * (exn * string) option) option
   val excursion: transition list -> unit
   val set_state: state -> unit