| Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | file | diff | annotate |
| Tue, 29 Sep 2009 22:48:24 +0200 | wenzelm | modernized Balanced_Tree; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 19 Jun 2007 23:16:14 +0200 | wenzelm | Balanced binary trees (material from library.ML); | file | diff | annotate |