fixed spelling (Where is WordExamples.thy anyway?);
authorwenzelm
Tue, 10 Jun 2008 21:50:30 +0200
changeset 27137 d0070c32fdc1
parent 27136 06a8f65e32f6
child 27138 63fdfcf6c7a3
fixed spelling (Where is WordExamples.thy anyway?);
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