| changeset 27139 | a1f3c7b5ce9c |
| parent 27134 | 71461c77a15b |
| child 28524 | 644b62cf678f |
--- a/src/HOL/Word/WordDefinition.thy Tue Jun 10 23:28:35 2008 +0200 +++ b/src/HOL/Word/WordDefinition.thy Tue Jun 10 23:28:38 2008 +0200 @@ -9,7 +9,7 @@ header {* Definition of Word Type *} theory WordDefinition -imports TdThs Size BinBoolList +imports Size BinBoolList TdThs begin typedef (open word) 'a word