diff -r cf7d61d56acf -r eaafda56b14c NEWS
--- a/NEWS	Fri Jul 15 15:44:22 2005 +0200
+++ b/NEWS	Fri Jul 15 15:45:04 2005 +0200
@@ -420,7 +420,7 @@
 * Pure/term.ML: combinators fold_atyps, fold_aterms, fold_term_types,
 fold_types traverse types/terms from left to right, observing
 canonical argument order.  Supercedes previous foldl_XXX versions,
-add_frees, add_vars have been adapted as well: INCOMPATIBILITY.
+add_frees, add_vars etc. have been adapted as well: INCOMPATIBILITY.
 
 * Pure: output via the Isabelle channels of writeln/warning/error
 etc. is now passed through Output.output, with a hook for arbitrary