src/Pure/package.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/package.scala	Thu May 12 16:46:21 2011 +0200
@@ -0,0 +1,11 @@
+/*  Title:      Pure/package.scala
+    Author:     Makarius
+
+Toplevel isabelle package.
+*/
+
+package object isabelle
+{
+  def error(message: String): Nothing = throw new RuntimeException(message)
+}
+