1.1 --- a/src/HOL/Word/Word.thy	Sun Aug 18 13:58:33 2013 +0200
     1.2 +++ b/src/HOL/Word/Word.thy	Sun Aug 18 15:29:50 2013 +0200
     1.3 @@ -7,9 +7,10 @@
     1.4  theory Word
     1.5  imports
     1.6    Type_Length
     1.7 -  Misc_Typedef
     1.8    "~~/src/HOL/Library/Boolean_Algebra"
     1.9    Bool_List_Representation
    1.10 +  Misc_Typedef
    1.11 +  Word_Miscellaneous
    1.12  begin
    1.13  
    1.14  text {* see @{text "Examples/WordExamples.thy"} for examples *}