tuned;
authorwenzelm
Mon Jan 28 12:22:48 2013 +0100 (2013-01-28)
changeset 510633544f5eb1ee6
parent 51062 d5fd24f73555
child 51065 773440f680f9
tuned;
NEWS
     1.1 --- a/NEWS	Sat Jan 26 20:36:26 2013 +0100
     1.2 +++ b/NEWS	Mon Jan 28 12:22:48 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