diff -r 3a122e1e352a -r ce47945ce4fb src/Pure/Concurrent/multithreading.ML
--- a/src/Pure/Concurrent/multithreading.ML	Sat Apr 09 14:00:23 2016 +0200
+++ b/src/Pure/Concurrent/multithreading.ML	Sat Apr 09 14:11:31 2016 +0200
@@ -6,7 +6,6 @@
 
 signature MULTITHREADING =
 sig
-  val interrupted: unit -> unit  (*exception Interrupt*)
   val max_threads_value: unit -> int
   val max_threads_update: int -> unit
   val enabled: unit -> bool
@@ -22,17 +21,6 @@
 structure Multithreading: MULTITHREADING =
 struct
 
-(* interrupts *)
-
-fun interrupted () =
-  let
-    val orig_atts = Thread_Attributes.safe_interrupts (Thread.getAttributes ());
-    val _ = Thread.setAttributes Thread_Attributes.test_interrupts;
-    val test = Exn.capture Thread.testInterrupt ();
-    val _ = Thread.setAttributes orig_atts;
-  in Exn.release test end;
-
-
 (* options *)
 
 fun num_processors () =