--- a/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 17:09:39 2012 +0200
+++ b/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 17:14:49 2012 +0200
@@ -8,7 +8,7 @@
header {* Wrapping Datatypes *}
theory BNF_Wrap
-imports BNF_Def
+imports BNF_Util
keywords
"wrap_data" :: thy_goal
and