src/HOL/Word/Word.thy
changeset 63762 6920b1885eff
parent 63680 6e1e8b5abbfa
child 63950 cdc1e59aa513
     1.1 --- a/src/HOL/Word/Word.thy	Thu Sep 01 20:34:43 2016 +0200
     1.2 +++ b/src/HOL/Word/Word.thy	Thu Sep 01 20:59:51 2016 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  theory Word
     1.6  imports
     1.7 -  Type_Length
     1.8 +  "~~/src/HOL/Library/Type_Length"
     1.9    "~~/src/HOL/Library/Boolean_Algebra"
    1.10    Bits_Bit
    1.11    Bool_List_Representation