src/HOL/BNF_FP_Base.thy
changeset 55538 6a5986170c1d
parent 55414 eab03e9cee8a
child 55571 a6153343c44f
     1.1 --- a/src/HOL/BNF_FP_Base.thy	Mon Feb 17 14:59:09 2014 +0100
     1.2 +++ b/src/HOL/BNF_FP_Base.thy	Mon Feb 17 18:18:27 2014 +0100
     1.3 @@ -154,6 +154,5 @@
     1.4  ML_file "Tools/BNF/bnf_fp_n2m_tactics.ML"
     1.5  ML_file "Tools/BNF/bnf_fp_n2m.ML"
     1.6  ML_file "Tools/BNF/bnf_fp_n2m_sugar.ML"
     1.7 -ML_file "Tools/BNF/bnf_fp_rec_sugar_util.ML"
     1.8  
     1.9  end