src/Pure/Thy/thy_info.scala
changeset 56728 6dc97c5aaf5e
parent 56393 22f533e6a049
child 56801 8dd9df88f647
     1.1 --- a/src/Pure/Thy/thy_info.scala	Fri Apr 25 17:54:54 2014 +0200
     1.2 +++ b/src/Pure/Thy/thy_info.scala	Fri Apr 25 20:07:39 2014 +0200
     1.3 @@ -7,9 +7,6 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.util.concurrent.{Future => JFuture}
     1.8 -
     1.9 -
    1.10  class Thy_Info(resources: Resources)
    1.11  {
    1.12    /* messages */