Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Mon, 28 Jan 2013 12:25:36 +0100
changeset 51065 773440f680f9
parent 51064 9c425ed4a52c (current diff)
parent 51063 3544f5eb1ee6 (diff)
child 51066 7fc61bfb1c2d
merged
--- 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
isabelle