| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 16 Oct 2008 22:44:35 +0200 | wenzelm | added make; | file | diff | annotate |
| Thu, 25 Sep 2008 13:21:13 +0200 | wenzelm | explicit type OrdList.T; | file | diff | annotate |
| Mon, 26 Feb 2007 23:18:29 +0100 | wenzelm | removed obsolete eq_set; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:58 +0200 | wenzelm | simplified union; | file | diff | annotate |
| Wed, 13 Jul 2005 16:07:33 +0200 | wenzelm | avoid excessive exceptions; | file | diff | annotate |
| Mon, 04 Jul 2005 17:07:14 +0200 | wenzelm | tuned union: avoid garbage in trivial case; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Jun 2005 09:35:31 +0200 | wenzelm | added subset, eq_set; | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:11 +0200 | wenzelm | generalized type of inter; | file | diff | annotate |
| Sat, 18 Jun 2005 22:57:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 18 Jun 2005 22:47:44 +0200 | wenzelm | tuned remove; | file | diff | annotate |
| Sat, 18 Jun 2005 22:40:51 +0200 | wenzelm | Ordered lists without duplicates. | file | diff | annotate |