# HG changeset patch
# User wenzelm
# Date 1213127430 -7200
# Node ID d0070c32fdc1b2b0f8f2114d609d930f11b3c6ab
# Parent  06a8f65e32f66351811b21822aa0263fbc08eee7
fixed spelling (Where is WordExamples.thy anyway?);

diff -r 06a8f65e32f6 -r d0070c32fdc1 src/HOL/Word/WordMain.thy
--- 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