TFL/utils.ML
2005-07-14 wenzelm 2005-07-14 removed itlist, rev_itlist -- use fold_rev, fold instead; improved end_itlist;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;