changeset 41413 | 64cd30d6b0b8 |
parent 37655 | f4d616d41a59 |
child 58874 | 7172c7ffb047 |
--- a/src/HOL/Word/Type_Length.thy Wed Dec 29 13:51:17 2010 +0100 +++ b/src/HOL/Word/Type_Length.thy Wed Dec 29 17:34:41 2010 +0100 @@ -5,7 +5,7 @@ header {* Assigning lengths to types by typeclasses *} theory Type_Length -imports Numeral_Type +imports "~~/src/HOL/Library/Numeral_Type" begin text {*