| Wed, 16 Sep 2009 21:31:57 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 16 Sep 2009 00:12:52 +0200 | wenzelm | added append_after (tuned version of former insert_after of Seq); | file | diff | annotate |
| Tue, 15 Sep 2009 23:57:07 +0200 | wenzelm | double linking for improved performance of "prev"; | file | diff | annotate |
| Tue, 01 Sep 2009 13:31:22 +0200 | wenzelm | misc cleanup and internal reorganization; | file | diff | annotate |
| Tue, 01 Sep 2009 11:52:19 +0200 | wenzelm | added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717 | file | diff | annotate |