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.
corrected quoting
authorhaftmann
Thu, 04 Nov 2010 17:27:37 +0100
changeset 40361 c409827db57d
parent 40360 1a73b5b90a3c
child 40362 82a066bff182
corrected quoting
src/HOL/Library/State_Monad.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/State_Monad.thy	Thu Nov 04 17:27:37 2010 +0100
+++ b/src/HOL/Library/State_Monad.thy	Thu Nov 04 17:27:37 2010 +0100
@@ -146,7 +146,7 @@
   "_sdo_block (_sdo_final e)" => "e"
 
 text {*
-  For an example, see @{text HOL/Proofs/Extraction/Higman.thy}.
+  For an example, see @{text "HOL/Proofs/Extraction/Higman.thy"}.
 *}
 
 end
isabelle