| Thu, 08 Sep 2005 16:08:50 +0200 | haftmann | added the_list, the_default | file | diff | annotate |
| Mon, 05 Sep 2005 08:14:35 +0200 | haftmann | introduced binding priority 1 for linear combinators etc. | file | diff | annotate |
| Sun, 28 Aug 2005 09:18:22 +0200 | haftmann | added 'these', removed assoc2 | file | diff | annotate |
| Thu, 25 Aug 2005 09:23:40 +0200 | haftmann | added ? combinator for conditional transformations | file | diff | annotate |
| Thu, 18 Aug 2005 11:17:36 +0200 | wenzelm | added tap; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:32 +0200 | wenzelm | tuned unsuffix/unprefix; | file | diff | annotate |
| Mon, 08 Aug 2005 12:15:03 +0200 | nipkow | fixed typo in ratadd | file | diff | annotate |
| Sun, 07 Aug 2005 12:28:10 +0200 | nipkow | added more rat functions | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:38 +0200 | wenzelm | tuned dict_ord; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:50 +0200 | wenzelm | added has_duplicates; | file | diff | annotate |
| Mon, 18 Jul 2005 14:10:11 +0200 | haftmann | reverted from fold_yield to fold_map | file | diff | annotate |
| Thu, 14 Jul 2005 19:28:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 14 Jul 2005 10:48:19 +0200 | haftmann | added ` combinator | file | diff | annotate |
| Tue, 12 Jul 2005 19:18:55 +0200 | haftmann | fold_map -> fold_yield, added transformator combinators, added selector combinator | file | diff | annotate |
| Wed, 06 Jul 2005 20:00:27 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 Jul 2005 10:41:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 05 Jul 2005 18:11:59 +0200 | wenzelm | tuned K; | file | diff | annotate |
| Tue, 05 Jul 2005 15:49:19 +0200 | haftmann | added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->' | file | diff | annotate |
| Tue, 05 Jul 2005 13:57:23 +0200 | haftmann | added ST combinator '|->' | file | diff | annotate |
| Mon, 04 Jul 2005 17:07:10 +0200 | wenzelm | added fast_string_ord; | file | diff | annotate |
| Fri, 01 Jul 2005 14:41:58 +0200 | wenzelm | low-level tuning of fold, fold_rev, foldl_map; | file | diff | annotate |
| Wed, 22 Jun 2005 19:41:20 +0200 | wenzelm | added structure Object (from Pure/General/object.ML); | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:06 +0200 | wenzelm | added member, option_ord; | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:24 +0200 | wenzelm | added serial numbers; | file | diff | annotate |
| Thu, 02 Jun 2005 18:29:48 +0200 | wenzelm | replaced foldl_string by fold_string; | file | diff | annotate |
| Tue, 31 May 2005 11:53:20 +0200 | wenzelm | export filter; | file | diff | annotate |
| Tue, 17 May 2005 10:08:24 +0200 | wenzelm | removed rev_append; | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Sun, 17 Apr 2005 19:39:39 +0200 | wenzelm | clarified insert/remove; | file | diff | annotate |
| Sat, 16 Apr 2005 18:55:51 +0200 | wenzelm | added gen_remove, remove; | file | diff | annotate |