diff --git a/library/par/package.scala b/library/par/package.scala
new file mode 100644
index 0000000000000000000000000000000000000000..4690eddbff16d5c756335195ed1c1ed9193833f5
--- /dev/null
+++ b/library/par/package.scala
@@ -0,0 +1,22 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
+package leon
+
+import leon.annotation._
+import leon.lang._
+import leon.lang.synthesis.choose
+
+package object par {
+
+  // @library
+  def parallel[A,B](x: => A, y: => B) : (A,B) = {
+    (x,y)
+  }
+
+  case class Task[A](c: A) {
+    def join: A = c
+  }
+
+  // @library
+  def task[A](c: A) = Task(c)
+}