src/Pure/library.scala

--- a/src/Pure/library.scala	Fri Feb 24 21:36:20 2012 +0100
+++ b/src/Pure/library.scala	Fri Feb 24 22:15:19 2012 +0100
@@ -15,8 +15,6 @@
 import scala.swing.ComboBox
 import scala.swing.event.SelectionChanged
 import scala.collection.mutable
-import scala.math.Ordering
-import scala.util.Sorting
 
 
 object Library