Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified;
authorwenzelm
Fri, 01 Jul 2016 16:52:54 +0200
changeset 63362 9321740ae1d4
parent 63361 d10eab0672f9
child 63363 bd483ddb17f2
clarified;
src/HOL/Library/State_Monad.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/State_Monad.thy	Fri Jul 01 16:52:35 2016 +0200
+++ b/src/HOL/Library/State_Monad.thy	Fri Jul 01 16:52:54 2016 +0200
@@ -145,7 +145,7 @@
   "_sdo_block (_sdo_final e)" => "e"
 
 text \<open>
-  For an example, see @{file "~~/src/HOL/Proofs/Extraction/Higman.thy"}.
+  For an example, see @{file "~~/src/HOL/Proofs/Extraction/Higman_Extraction.thy"}.
 \<close>
 
 end
isabelle