changeset 49286 | dde4967c9233 |
parent 49283 | 97809ae5f7bb |
child 49309 | f20b24214ac2 |
--- a/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 18:12:23 2012 +0200 +++ b/src/HOL/Codatatype/BNF_Wrap.thy Tue Sep 11 18:39:47 2012 +0200 @@ -10,8 +10,7 @@ theory BNF_Wrap imports BNF_Util keywords - "wrap_data" :: thy_goal -and + "wrap_data" :: thy_goal and "no_dests" uses "Tools/bnf_wrap_tactics.ML"