NEWS

--- a/NEWS	Sat Jan 26 20:36:26 2013 +0100
+++ b/NEWS	Mon Jan 28 12:22:48 2013 +0100
@@ -135,7 +135,7 @@
 
 * Command 'typ' supports an additional variant with explicit sort
 constraint, to infer and check the most general type conforming to a
-given given sort.  Example (in HOL):
+given sort.  Example (in HOL):
 
   typ "_ * _ * bool * unit" :: finite