1.1 --- a/src/HOL/Word/Word.thy	Mon Feb 08 17:12:30 2010 +0100
     1.2 +++ b/src/HOL/Word/Word.thy	Mon Feb 08 17:12:32 2010 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Gerwin Klein, NICTA
     1.5  *)
     1.6  
     1.7 -header {* Word Library interafce *}
     1.8 +header {* Word Library interface *}
     1.9  
    1.10  theory Word
    1.11  imports WordGenLib