# HG changeset patch
# User wenzelm
# Date 1452953071 -3600
# Node ID 116f41763b2b11b8fa7c6b98d8e0ff9ab39eccbe
# Parent  74c56f8b68e812acc5a9b27922a1b57d54e7f7b1
more symbols;

diff -r 74c56f8b68e8 -r 116f41763b2b src/HOL/Library/Monad_Syntax.thy
--- a/src/HOL/Library/Monad_Syntax.thy	Sat Jan 16 15:03:55 2016 +0100
+++ b/src/HOL/Library/Monad_Syntax.thy	Sat Jan 16 15:04:31 2016 +0100
@@ -57,7 +57,7 @@
     \<rightleftharpoons> "_do_block (_do_cons b (_do_final (_do_block (_do_cons c cs))))"
   "_do_cons (_do_let p t) (_do_final s)"
     \<rightleftharpoons> "_do_final (let p = t in s)"
-  "_do_block (_do_final e)" => "e"
+  "_do_block (_do_final e)" \<rightharpoonup> "e"
   "(m \<then> n)" \<rightharpoonup> "(m \<bind> (\<lambda>_. n))"
 
 adhoc_overloading