1.1 --- a/NEWS	Mon Jan 28 12:25:29 2013 +0100
     1.2 +++ b/NEWS	Mon Jan 28 12:25:36 2013 +0100
     1.3 @@ -135,7 +135,7 @@
     1.4  
     1.5  * Command 'typ' supports an additional variant with explicit sort
     1.6  constraint, to infer and check the most general type conforming to a
     1.7 -given given sort.  Example (in HOL):
     1.8 +given sort.  Example (in HOL):
     1.9  
    1.10    typ "_ * _ * bool * unit" :: finite
    1.11