author | wenzelm |
Mon, 28 Jan 2013 12:22:48 +0100 | |
changeset 51063 | 3544f5eb1ee6 |
parent 51062 | d5fd24f73555 |
child 51065 | 773440f680f9 |
--- 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