Tue, 05 Jul 2005 15:49:19 +0200 | haftmann | added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->' | changeset | files |
Tue, 05 Jul 2005 15:39:48 +0200 | wenzelm | tuned; | changeset | files |
Tue, 05 Jul 2005 14:07:08 +0200 | wenzelm | * Pure: structure OrdList (cf. Pure/General/ord_list.ML); | changeset | files |
Tue, 05 Jul 2005 13:57:23 +0200 | haftmann | added ST combinator '|->' | changeset | files |
Tue, 05 Jul 2005 13:55:09 +0200 | wenzelm | Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.; | changeset | files |
Tue, 05 Jul 2005 13:54:20 +0200 | wenzelm | tuned; | changeset | files |
Mon, 04 Jul 2005 20:20:50 +0200 | wenzelm | made smlnj happy; | changeset | files |