TFL/utils.ML
2005-07-14 wenzelm removed itlist, rev_itlist -- use fold_rev, fold instead;
2001-01-03 wenzelm renamed .sml files to .ML;
less more (0) tip