src/HOL/Codatatype/Codatatype.thy

--- a/src/HOL/Codatatype/Codatatype.thy	Tue Sep 11 17:09:39 2012 +0200
+++ b/src/HOL/Codatatype/Codatatype.thy	Tue Sep 11 17:14:49 2012 +0200
@@ -10,7 +10,7 @@
 header {* The (Co)datatype Package *}
 
 theory Codatatype
-imports BNF_Wrap BNF_LFP BNF_GFP
+imports BNF_LFP BNF_GFP BNF_Wrap
 keywords
   "data" :: thy_decl
 and