src/HOL/Library/State_Monad.thy
changeset 31033 c46d52fee219
parent 30738 0842e906300c
child 35115 446c5063e4fd
     1.1 --- a/src/HOL/Library/State_Monad.thy	Mon May 04 14:49:47 2009 +0200
     1.2 +++ b/src/HOL/Library/State_Monad.thy	Mon May 04 14:49:48 2009 +0200
     1.3 @@ -190,7 +190,7 @@
     1.4  *}
     1.5  
     1.6  text {*
     1.7 -  For an example, see HOL/ex/Random.thy.
     1.8 +  For an example, see HOL/Extraction/Higman.thy.
     1.9  *}
    1.10  
    1.11  end