--- a/src/HOL/Library/State_Monad.thy Mon May 04 14:49:47 2009 +0200
+++ b/src/HOL/Library/State_Monad.thy Mon May 04 14:49:48 2009 +0200
@@ -190,7 +190,7 @@
*}
text {*
- For an example, see HOL/ex/Random.thy.
+ For an example, see HOL/Extraction/Higman.thy.
*}
end