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.
back to original import order -- thanks to proper deletion of nat cases/induct rules from type_definition;
authorwenzelm
Tue, 10 Jun 2008 23:28:38 +0200
changeset 27139 a1f3c7b5ce9c
parent 27138 63fdfcf6c7a3
child 27140 327a73f02d5f
back to original import order -- thanks to proper deletion of nat cases/induct rules from type_definition;
src/HOL/Word/WordDefinition.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle