src/HOL/BNF_FP_Base.thy
changeset 55575 a5e33e18fb5c
parent 55571 a6153343c44f
child 55642 63beb38e9258
     1.1 --- a/src/HOL/BNF_FP_Base.thy	Wed Feb 19 08:34:32 2014 +0100
     1.2 +++ b/src/HOL/BNF_FP_Base.thy	Wed Feb 19 08:34:33 2014 +0100
     1.3 @@ -149,7 +149,6 @@
     1.4    unfolding Grp_def by rule auto
     1.5  
     1.6  ML_file "Tools/BNF/bnf_fp_util.ML"
     1.7 -ML_file "Tools/BNF/bnf_fp_rec_sugar_util.ML"
     1.8  ML_file "Tools/BNF/bnf_fp_def_sugar_tactics.ML"
     1.9  ML_file "Tools/BNF/bnf_fp_def_sugar.ML"
    1.10  ML_file "Tools/BNF/bnf_fp_n2m_tactics.ML"