TFL/usyntax.ML
2006-07-11 wenzelm 2006-07-11 replaced Term.variant(list) by Name.variant(_list);
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2005-11-16 wenzelm 2005-11-16 Term.betapply;
2005-07-14 wenzelm 2005-07-14 replaced itlist by fold_rev; replaced rev_itlist by fold;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2002-05-28 berghofe 2002-05-28 Eps -> Hilbert_Choice.Eps
2001-12-03 wenzelm 2001-12-03 HOLogic.typeS;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;