diff -r 7a86358a3c0b -r b9ae4a2f615b src/HOL/Word/Word.thy
--- 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 *}