changeset 54743 | b9ae4a2f615b |
parent 54742 | 7a86358a3c0b |
child 54847 | d6cf9a5b9be9 |
--- 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 *}