NEWS

--- a/NEWS	Tue Jan 10 19:34:04 2006 +0100
+++ b/NEWS	Tue Jan 10 19:36:59 2006 +0100
@@ -298,7 +298,7 @@
 * Pure/General: rat.ML implements rational numbers.
 
 * Pure: datatype Context.generic joins theory/Proof.context and
-provides some facilities for generic code that works in either kind of
+provides some facilities for code that works in either kind of
 context, notably GenericDataFun for uniform theory and proof data.
 
 * Pure: type Context.generic attribute is now the preferred