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.
more symbols;
authorwenzelm
Sat, 16 Jan 2016 15:04:31 +0100
changeset 62189 116f41763b2b
parent 62188 74c56f8b68e8
child 62190 ec5703538300
more symbols;
src/HOL/Library/Monad_Syntax.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle