| changeset 58387 | bc35a30cf0f2 |
| parent 58315 | 6d8458bc6e27 |
| child 58388 | 4d408eb71301 |
--- a/src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML Fri Sep 19 10:40:56 2014 +0200 +++ b/src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML Fri Sep 19 13:27:04 2014 +0200 @@ -75,8 +75,8 @@ open Ctr_Sugar_General_Tactics open BNF_FP_Rec_Sugar_Util -val inductN = "induct" -val simpsN = "simps" +val inductN = "induct"; +val simpsN = "simps"; val nitpicksimp_attrs = @{attributes [nitpick_simp]}; val simp_attrs = @{attributes [simp]};