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.
Restored antiquotation.
authorhaftmann
Fri, 27 Jan 2023 19:16:38 +0100
changeset 77107 4c4d40913900
parent 77106 5ef443fa4a5d
child 77134 523839d6d8ff
Restored antiquotation.
src/HOL/Library/Monad_Syntax.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Monad_Syntax.thy	Thu Jan 26 15:18:55 2023 +0100
+++ b/src/HOL/Library/Monad_Syntax.thy	Fri Jan 27 19:16:38 2023 +0100
@@ -11,7 +11,7 @@
 
 text \<open>
 We provide a convenient do-notation for monadic expressions well-known from Haskell.
-const>\<open>Let\<close> is printed specially in do-expressions.
+\<^const>\<open>Let\<close> is printed specially in do-expressions.
 \<close>
 
 consts
isabelle