--- a/src/HOL/Codatatype/BNF_Def.thy Tue Sep 11 17:14:49 2012 +0200 +++ b/src/HOL/Codatatype/BNF_Def.thy Tue Sep 11 17:36:09 2012 +0200 @@ -14,6 +14,7 @@ and "bnf_def" :: thy_goal uses + "Tools/bnf_def_tactics.ML" "Tools/bnf_def.ML" begin