2012-09-11 wenzelm [Tue, 11 Sep 2012 15:47:42 +0200] rev 49270
some support to organize options in sections;
etc/options src/Pure/System/options.scala src/Tools/jEdit/etc/options src/Tools/jEdit/src/isabelle_logic.scala src/Tools/jEdit/src/isabelle_options.scala src/Tools/jEdit/src/jedit_options.scala

2012-09-11 wenzelm [Tue, 11 Sep 2012 11:53:34 +0200] rev 49269
merged

2012-09-11 blanchet [Tue, 11 Sep 2012 09:40:05 +0200] rev 49268
generate "id" rather than (%v. v)
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML

2012-09-11 blanchet [Tue, 11 Sep 2012 09:40:05 +0200] rev 49267
correctly generate sel_coiter and sel_corec theorems
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 21:44:43 +0200] rev 49266
generate "sel_coiters" and friends
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML src/HOL/Codatatype/Tools/bnf_wrap.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 18:50:27 +0200] rev 49265
sanity check
src/HOL/Codatatype/Tools/bnf_wrap.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 18:29:55 +0200] rev 49264
implemented and use "mk_sum_casesN_balanced"
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML src/HOL/Codatatype/Tools/bnf_fp_sugar_tactics.ML src/HOL/Codatatype/Tools/bnf_fp_util.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 17:52:01 +0200] rev 49263
fixed general case of "mk_sumEN_balanced"
src/HOL/Codatatype/BNF_Library.thy src/HOL/Codatatype/Tools/bnf_fp_sugar.ML src/HOL/Codatatype/Tools/bnf_fp_sugar_tactics.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 49262
debug
src/HOL/Codatatype/Tools/bnf_fp_sugar_tactics.ML

2012-09-10 blanchet [Mon, 10 Sep 2012 17:36:02 +0200] rev 49261
fixed base case of "mk_sumEN_balanced"
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML