# HG changeset patch
# User haftmann
# Date 1241441388 -7200
# Node ID c46d52fee219e395c94c57c3925a4c6682c64388
# Parent  38901ed00ec37117c41702a4bc0d42e8271a438c
fixed broken link

diff -r 38901ed00ec3 -r c46d52fee219 src/HOL/Library/State_Monad.thy
--- 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