src/HOL/BNF_FP_Base.thy
changeset 55702 63c80031d8dd
parent 55700 cf6a029b28d8
child 55803 74d3fe9031d8
     1.1 --- a/src/HOL/BNF_FP_Base.thy	Sun Feb 23 22:51:11 2014 +0100
     1.2 +++ b/src/HOL/BNF_FP_Base.thy	Sun Feb 23 22:51:11 2014 +0100
     1.3 @@ -154,5 +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 - 
     1.8 +
     1.9  end