Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reordering of imports ensures that nat_induct stay in front;
authorwenzelm
Tue, 10 Jun 2008 21:49:11 +0200
changeset 27134 71461c77a15b
parent 27133 e26ed41cc8ea
child 27135 7fa9fa0bccee
reordering of imports ensures that nat_induct stay in front;
src/HOL/Word/WordDefinition.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle