fixed broken link
authorhaftmann
Mon May 04 14:49:48 2009 +0200 (2009-05-04)
changeset 31033c46d52fee219
parent 31032 38901ed00ec3
child 31034 736f521ad036
fixed broken link
src/HOL/Library/State_Monad.thy
     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