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.
proper symbols;
authorwenzelm
Mon, 10 Feb 2020 23:04:45 +0100
changeset 71434 6c52b1d71f8b
parent 71433 49fb95d04d43
child 71435 d8fb621fea02
proper symbols;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Feb 10 22:47:43 2020 +0100
+++ b/NEWS	Mon Feb 10 23:04:45 2020 +0100
@@ -88,7 +88,7 @@
 * Theory HOL.Complete_Lattices:
 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf
 
-* Theory HOL-Library.Monad_Syntax: infix operation "bind" (>>=)
+* Theory HOL-Library.Monad_Syntax: infix operation "bind" (\<bind>)
 associates to the left now as is customary.
 
 * Theory HOL-Library.Ramsey: full finite Ramsey's theorem with
isabelle