src/HOL/Library/State_Monad.thy
changeset 54703 499f92dc6e45
parent 41229 d797baa3d57c
child 54743 b9ae4a2f615b
     1.1 --- a/src/HOL/Library/State_Monad.thy	Mon Dec 09 12:16:52 2013 +0100
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Mon Dec 09 12:22:23 2013 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4    monads}, since a state is transformed single-threadedly).
     1.5  
     1.6    To enter from the Haskell world,
     1.7 -  \url{http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm} makes
     1.8 +  @{url "http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm"} makes
     1.9    a good motivating start.  Here we just sketch briefly how those
    1.10    monads enter the game of Isabelle/HOL.
    1.11  *}