src/Pure/Isar/toplevel.ML
changeset 27583 9109f0d8a565
parent 27576 7afff36043e6
child 27601 6683cdb94af8
--- a/src/Pure/Isar/toplevel.ML	Mon Jul 14 19:20:57 2008 +0200
+++ b/src/Pure/Isar/toplevel.ML	Mon Jul 14 19:57:09 2008 +0200
@@ -38,8 +38,9 @@
   val profiling: int ref
   val skip_proofs: bool ref
   exception TERMINATE
+  exception EXCURSION_FAIL of exn * string
+  exception TOPLEVEL_ERROR
   exception CONTEXT of Proof.context * exn
-  exception TOPLEVEL_ERROR
   val exn_message: exn -> string
   val program: (unit -> 'a) -> 'a
   type transition