| changeset 51850 | 106afdf5806c |
| parent 51843 | 899663644482 |
| child 51893 | 596baae88a88 |
--- a/src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML Wed May 01 06:00:55 2013 +0200 +++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML Wed May 01 19:33:49 2013 +0200 @@ -33,7 +33,7 @@ open BNF_Tactics open BNF_Util -open BNF_FP +open BNF_FP_Util val basic_simp_thms = @{thms simp_thms(7,8,12,14,22,24)}; val more_simp_thms = basic_simp_thms @ @{thms simp_thms(11,15,16,21)};