src/Pure/library.scala

--- a/src/Pure/library.scala	Thu Sep 20 16:02:10 2012 +0200
+++ b/src/Pure/library.scala	Thu Sep 20 19:23:05 2012 +0200
@@ -199,4 +199,13 @@
   val quote = Library.quote _
   val commas = Library.commas _
   val commas_quote = Library.commas_quote _
+
+
+  /* parallel tasks */
+
+  implicit def function_as_callable[A](f: () => A) =
+    new java.util.concurrent.Callable[A] { def call = f() }
+
+  val default_thread_pool =
+    scala.collection.parallel.ThreadPoolTasks.defaultThreadPool
 }