2013-10-21 blanchet [Mon, 21 Oct 2013 09:31:19 +0200] rev 54180
tuning
src/HOL/BNF/Tools/bnf_fp_n2m_sugar.ML src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-21 blanchet [Mon, 21 Oct 2013 09:14:05 +0200] rev 54179
warn about incompatible recursor signature
src/HOL/BNF/Tools/bnf_lfp_compat.ML

2013-10-21 blanchet [Mon, 21 Oct 2013 08:27:51 +0200] rev 54178
more informative abort
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-21 blanchet [Mon, 21 Oct 2013 07:50:32 +0200] rev 54177
tuning
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-21 blanchet [Mon, 21 Oct 2013 07:24:18 +0200] rev 54176
systematically close derivations in BNF package
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-20 blanchet [Sun, 20 Oct 2013 23:36:18 +0200] rev 54175
removed temporary error handling
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-20 blanchet [Sun, 20 Oct 2013 23:29:49 +0200] rev 54174
strengthened tactic
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML src/HOL/BNF/Tools/bnf_fp_rec_sugar_tactics.ML

2013-10-20 blanchet [Sun, 20 Oct 2013 22:51:21 +0200] rev 54173
tuning
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-20 blanchet [Sun, 20 Oct 2013 22:39:40 +0200] rev 54172
reintroduced parts of 07a8145aaeba that a22ded8a7f7d wrongly took out
src/HOL/BNF/Tools/bnf_fp_rec_sugar.ML

2013-10-20 blanchet [Sun, 20 Oct 2013 21:59:08 +0200] rev 54171
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_util.ML