src/Tools/jEdit/src/utils/LinearSet.scala

--- a/src/Tools/jEdit/src/utils/LinearSet.scala	Thu Mar 05 10:53:47 2009 +0100
+++ b/src/Tools/jEdit/src/utils/LinearSet.scala	Thu Mar 05 16:40:49 2009 +0100
@@ -3,6 +3,7 @@
 
 Sets with canonical linear order, or immutable linked-lists.
 */
+package isabelle.utils
 
 object LinearSet
 {
@@ -32,6 +33,8 @@
 
   /* basic methods */
 
+  def next(elem: A) = body.get(elem)
+  
   override def isEmpty: Boolean = !last_elem.isDefined
   def size: Int = if (isEmpty) 0 else body.size + 1