src/Pure/library.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/library.scala	Sat Dec 19 16:02:26 2009 +0100
@@ -0,0 +1,24 @@
+/*  Title:      Pure/library.scala
+    Author:     Makarius
+
+Basic library.
+*/
+
+package isabelle
+
+import java.lang.System
+
+
+object Library
+{
+  /* timing */
+
+  def timeit[A](e: => A) =
+  {
+    val start = System.currentTimeMillis()
+    val result = Exn.capture(e)
+    val stop = System.currentTimeMillis()
+    System.err.println((stop - start) + "ms elapsed time")
+    Exn.release(result)
+  }
+}