| Tue, 14 Mar 2006 22:07:33 +0100 | wenzelm | added singleton; | file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Wed, 22 Feb 2006 10:18:17 +0100 | haftmann | abandoned merge_alists' in favour of generic AList.merge | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:55 +0100 | wenzelm | removed distinct, renamed gen_distinct to distinct; | file | diff | annotate |
| Sat, 11 Feb 2006 17:17:45 +0100 | wenzelm | added chop (sane version of splitAt); | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Feb 2006 19:56:48 +0100 | wenzelm | removed eq-polymorphic duplicates; | file | diff | annotate |
| Fri, 03 Feb 2006 23:12:31 +0100 | wenzelm | removed obsolete gen_ins/mem; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:17 +0100 | wenzelm | tuned setmp; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:14 +0100 | wenzelm | added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all; | file | diff | annotate |
| Tue, 03 Jan 2006 11:31:15 +0100 | haftmann | rearranged burrow_split to fold_burrow to allow composition with fold_map | file | diff | annotate |
| Tue, 27 Dec 2005 15:24:23 +0100 | haftmann | added map_index | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:44 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Dec 2005 15:18:36 +0100 | haftmann | added eq_ord | file | diff | annotate |
| Wed, 21 Dec 2005 13:25:20 +0100 | haftmann | discontinued unflat in favour of burrow and burrow_split | file | diff | annotate |
| Tue, 20 Dec 2005 08:38:10 +0100 | haftmann | removed infix prefix, introduces burrow | file | diff | annotate |
| Sat, 17 Dec 2005 01:00:38 +0100 | wenzelm | added sort_distinct; | file | diff | annotate |
| Thu, 08 Dec 2005 20:16:17 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Dec 2005 16:07:10 +0100 | haftmann | added 'dig' combinator | file | diff | annotate |
| Fri, 02 Dec 2005 16:04:48 +0100 | haftmann | added perhaps option combinator | file | diff | annotate |
| Fri, 02 Dec 2005 08:06:59 +0100 | haftmann | introduced new map2, fold | file | diff | annotate |
| Tue, 29 Nov 2005 23:00:03 +0100 | wenzelm | added nth_list; | file | diff | annotate |
| Mon, 28 Nov 2005 13:43:56 +0100 | haftmann | added (curried) fold2 | file | diff | annotate |
| Thu, 10 Nov 2005 20:57:18 +0100 | wenzelm | curried multiply; | file | diff | annotate |
| Mon, 31 Oct 2005 16:00:15 +0100 | haftmann | fold_index replacing foldln | file | diff | annotate |
| Fri, 28 Oct 2005 16:35:40 +0200 | haftmann | cleaned up nth, nth_update, nth_map and nth_string functions | file | diff | annotate |
| Fri, 21 Oct 2005 14:49:49 +0200 | haftmann | abandoned rational number functions in favor of General/rat.ML | file | diff | annotate |
| Tue, 11 Oct 2005 13:28:06 +0200 | wenzelm | moved string_of_pid to ML-Systems; | file | diff | annotate |
| Mon, 10 Oct 2005 15:35:29 +0200 | paulson | small tidy-up of utility functions | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Wed, 21 Sep 2005 11:49:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 10:32:24 +0200 | haftmann | removed assoc, overwrite | file | diff | annotate |
| Tue, 20 Sep 2005 08:24:18 +0200 | haftmann | improved eq_fst and eq_snd, removed some deprecated stuff | file | diff | annotate |
| Mon, 19 Sep 2005 16:39:27 +0200 | haftmann | removed some deprecated assocation list functions | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:25 +0200 | wenzelm | added exception EXCEPTION of exn * string; | file | diff | annotate |
| 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 |