NEWS

--- a/NEWS	Sun Jan 20 13:59:13 2013 +0100
+++ b/NEWS	Sun Jan 20 14:00:05 2013 +0100
@@ -379,7 +379,7 @@
 with support for mixed, nested recursion and interesting non-free
 datatypes.
 
-* HOL/Finite_Set and Relation: added new set and relation operations 
+* HOL/Finite_Set and Relation: added new set and relation operations
 expressed by Finite_Set.fold.
 
 * New theory HOL/Library/RBT_Set: implementation of sets by red-black