--- a/src/HOL/Word/WordMain.thy Tue Jun 10 21:50:05 2008 +0200
+++ b/src/HOL/Word/WordMain.thy Tue Jun 10 21:50:30 2008 +0200
@@ -25,6 +25,6 @@
types word8 = "8 word"
types byte = word8
-text {* for more see WordExampes.thy *}
+text {* for more see WordExamples.thy *}
end