# HG changeset patch
# User haftmann
# Date 1265645552 -3600
# Node ID 00f311c324446810f13723c6c5372f90be721038
# Parent  82ab78fff9708c9cc1f5f367999cf9f234a30457
tuned spelling

diff -r 82ab78fff970 -r 00f311c32444 src/HOL/Word/Word.thy
--- a/src/HOL/Word/Word.thy	Mon Feb 08 17:12:30 2010 +0100
+++ b/src/HOL/Word/Word.thy	Mon Feb 08 17:12:32 2010 +0100
@@ -2,7 +2,7 @@
     Author:     Gerwin Klein, NICTA
 *)
 
-header {* Word Library interafce *}
+header {* Word Library interface *}
 
 theory Word
 imports WordGenLib