| Thu, 29 Oct 2009 16:59:12 +0100 | wenzelm | modernized some structure names; | file | diff | annotate |
| Thu, 29 Oct 2009 16:08:23 +0100 | wenzelm | proper header; | file | diff | annotate |
| Tue, 27 Oct 2009 17:34:00 +0100 | wenzelm | normalized basic type abbreviations; | file | diff | annotate |
| Wed, 21 Oct 2009 12:02:56 +0200 | haftmann | curried union as canonical list operation | file | diff | annotate |
| Wed, 21 Oct 2009 08:16:25 +0200 | haftmann | merged | file | diff | annotate |
| Wed, 21 Oct 2009 08:14:38 +0200 | haftmann | dropped redundant gen_ prefix | file | diff | annotate |
| Tue, 20 Oct 2009 16:13:01 +0200 | haftmann | replaced old_style infixes eq_set, subset, union, inter and variants by generic versions | file | diff | annotate |