src/HOL/Word/Word.thy
changeset 53062 3af1a6020014
parent 51717 9e7d1c139569
child 53080 d815e25ead03
     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 *}