--- a/src/Pure/Thy/thy_info.scala Fri Apr 25 17:54:54 2014 +0200
+++ b/src/Pure/Thy/thy_info.scala Fri Apr 25 20:07:39 2014 +0200
@@ -7,9 +7,6 @@
package isabelle
-import java.util.concurrent.{Future => JFuture}
-
-
class Thy_Info(resources: Resources)
{
/* messages */