Tue, 07 Dec 2010 21:58:36 +0100 | haftmann | merged | file | diff | annotate |
Tue, 07 Dec 2010 16:33:54 +0100 | haftmann | more concise case names; proved extensionality | file | diff | annotate |
Tue, 07 Dec 2010 17:23:14 +0100 | wenzelm | eliminated some hard tabulators (deprecated); | file | diff | annotate |
Sat, 04 Dec 2010 21:53:00 +0100 | haftmann | more intimate definition of fold_list / fold_once in terms of fold | file | diff | annotate |
Sat, 04 Dec 2010 21:26:33 +0100 | haftmann | canonical fold signature | file | diff | annotate |
Fri, 03 Dec 2010 14:46:58 +0100 | haftmann | conventional point-free characterization of rsp_fold | file | diff | annotate |
Fri, 03 Dec 2010 14:39:15 +0100 | haftmann | replaced memb by existing List.member | file | diff | annotate |