changeset 49286 | dde4967c9233 |
parent 49284 | 5f39b7940b49 |
child 49309 | f20b24214ac2 |
--- a/src/HOL/Codatatype/BNF_Def.thy Tue Sep 11 18:12:23 2012 +0200 +++ b/src/HOL/Codatatype/BNF_Def.thy Tue Sep 11 18:39:47 2012 +0200 @@ -10,8 +10,7 @@ theory BNF_Def imports BNF_Util keywords - "print_bnfs" :: diag -and + "print_bnfs" :: diag and "bnf_def" :: thy_goal uses "Tools/bnf_def_tactics.ML"