src/HOL/Codatatype/Codatatype.thy
changeset 49283 97809ae5f7bb
parent 49123 263b0e330d8b
child 49286 dde4967c9233
--- 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