--- a/src/HOL/Codatatype/Codatatype.thy Wed Sep 12 05:03:18 2012 +0200
+++ b/src/HOL/Codatatype/Codatatype.thy Wed Sep 12 05:21:47 2012 +0200
@@ -10,7 +10,7 @@
header {* The (Co)datatype Package *}
theory Codatatype
-imports BNF_LFP BNF_GFP
+imports More_BNFs
begin
end