# HG changeset patch
# User wenzelm
# Date 1581372285 -3600
# Node ID 6c52b1d71f8b26c7da74427601658173912075e4
# Parent  49fb95d04d4340db48ab81bb7942656724696041
proper symbols;

diff -r 49fb95d04d43 -r 6c52b1d71f8b NEWS
--- 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