Thu, 29 Oct 2009 11:41:39 +0100 | haftmann | join entries properly on theory merge | 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: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 |
Thu, 01 Oct 2009 16:09:47 +0200 | wenzelm | handle Pattern.MATCH, not arbitrary exceptions; | file | diff | annotate |
Thu, 10 Sep 2009 15:23:09 +0200 | haftmann | plain structure name; signature constraint; shorter lines | file | diff | annotate | base |