--- a/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 13:10:34 2012 +0200
+++ b/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 14:51:52 2012 +0200
@@ -11,6 +11,8 @@
imports BNF_Def
keywords
"wrap_data" :: thy_goal
+and
+ "no_dests"
uses
"Tools/bnf_wrap_tactics.ML"
"Tools/bnf_wrap.ML"