src/Pure/Concurrent/simple_thread.scala

--- a/src/Pure/Concurrent/simple_thread.scala	Wed Sep 22 13:47:48 2010 +0200
+++ b/src/Pure/Concurrent/simple_thread.scala	Wed Sep 22 14:06:48 2010 +0200
@@ -26,8 +26,6 @@
     thread
   }
 
-  def fork(body: => Unit): Thread = fork()(body)
-
 
   /* future result via thread */
 
@@ -38,8 +36,6 @@
     result
   }
 
-  def future[A](body: => A): Future[A] = future()(body)
-
 
   /* thread as actor */