src/HOL/Word/WordDefinition.thy
changeset 27134 71461c77a15b
parent 26573 ea36563210cc
child 27139 a1f3c7b5ce9c
--- a/src/HOL/Word/WordDefinition.thy	Tue Jun 10 19:45:53 2008 +0200
+++ b/src/HOL/Word/WordDefinition.thy	Tue Jun 10 21:49:11 2008 +0200
@@ -9,7 +9,7 @@
 header {* Definition of Word Type *}
 
 theory WordDefinition
-imports Size BinBoolList TdThs
+imports TdThs Size BinBoolList
 begin
 
 typedef (open word) 'a word