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.
more antiquotations;
authorwenzelm
Sat, 14 Dec 2013 20:46:36 +0100
changeset 54743 b9ae4a2f615b
parent 54742 7a86358a3c0b
child 54744 1e7f2d296e19
child 54748 283fc522d24e
more antiquotations;
src/HOL/Library/State_Monad.thy file | annotate | diff | comparison | revisions
src/HOL/Word/Word.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/State_Monad.thy	Sat Dec 14 17:28:05 2013 +0100
+++ b/src/HOL/Library/State_Monad.thy	Sat Dec 14 20:46:36 2013 +0100
@@ -145,7 +145,7 @@
   "_sdo_block (_sdo_final e)" => "e"
 
 text {*
-  For an example, see @{text "HOL/Proofs/Extraction/Higman.thy"}.
+  For an example, see @{file "~~/src/HOL/Proofs/Extraction/Higman.thy"}.
 *}
 
 end
--- a/src/HOL/Word/Word.thy	Sat Dec 14 17:28:05 2013 +0100
+++ b/src/HOL/Word/Word.thy	Sat Dec 14 20:46:36 2013 +0100
@@ -14,7 +14,7 @@
   Word_Miscellaneous
 begin
 
-text {* see @{text "Examples/WordExamples.thy"} for examples *}
+text {* See @{file "Examples/WordExamples.thy"} for examples. *}
 
 subsection {* Type definition *}
isabelle