| Fri, 01 Jul 2005 14:42:00 +0200 | wenzelm | ctyp: added 'sorts' field; | changeset | files |
| Fri, 01 Jul 2005 14:41:59 +0200 | wenzelm | added all_sorts_nonempty; | changeset | files |
| Fri, 01 Jul 2005 14:41:58 +0200 | wenzelm | low-level tuning of fold, fold_rev, foldl_map; | changeset | files |