src/Pure/Isar/toplevel.ML
changeset 5922 85d62ecb950d
parent 5920 d7e35f45b72c
child 5930 41aa67a045f7
--- 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