# HG changeset patch
# User wenzelm
# Date 1359372336 -3600
# Node ID 773440f680f99dfd0dfd7c5917da8210b8a63f1b
# Parent  9c425ed4a52cf017d96c3561e7b174fc5fa46cdc# Parent  3544f5eb1ee6198b37a0e028cad0f91c2d1863e8
merged

diff -r 9c425ed4a52c -r 773440f680f9 NEWS
--- a/NEWS	Mon Jan 28 12:25:29 2013 +0100
+++ b/NEWS	Mon Jan 28 12:25:36 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