2012-09-12 blanchet [Wed, 12 Sep 2012 17:26:05 +0200] rev 49336
tuning
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML src/HOL/Codatatype/Tools/bnf_wrap.ML

2012-09-12 blanchet [Wed, 12 Sep 2012 17:26:05 +0200] rev 49335
added sumEN_tupled_balanced
src/HOL/Codatatype/BNF_FP.thy src/HOL/Codatatype/Tools/bnf_fp_util.ML

2012-09-12 wenzelm [Wed, 12 Sep 2012 16:54:24 +0200] rev 49334
load fonts into JavaFX as well;
src/Pure/System/isabelle_system.scala

2012-09-12 wenzelm [Wed, 12 Sep 2012 16:27:44 +0200] rev 49333
some support for actual HTML rendering;
src/Pure/System/html5_panel.scala

2012-09-12 wenzelm [Wed, 12 Sep 2012 15:01:25 +0200] rev 49332
merged

2012-09-12 blanchet [Wed, 12 Sep 2012 12:43:34 +0200] rev 49331
free variable name tuning
src/HOL/Codatatype/Tools/bnf_lfp.ML

2012-09-12 blanchet [Wed, 12 Sep 2012 12:06:03 +0200] rev 49330
reuse generated names (they look better + slightly more efficient)
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML src/HOL/Codatatype/Tools/bnf_fp_util.ML src/HOL/Codatatype/Tools/bnf_gfp.ML src/HOL/Codatatype/Tools/bnf_lfp.ML

2012-09-12 blanchet [Wed, 12 Sep 2012 11:47:51 +0200] rev 49329
desambiguate grammar (e.g. for Nil's mixfix ("[]"))
src/HOL/Codatatype/Tools/bnf_fp_sugar.ML

2012-09-12 blanchet [Wed, 12 Sep 2012 11:39:05 +0200] rev 49328
avoided duplicate lemma
src/HOL/Codatatype/BNF_GFP.thy src/HOL/Codatatype/Tools/bnf_gfp_tactics.ML

2012-09-12 blanchet [Wed, 12 Sep 2012 11:38:22 +0200] rev 49327
put an underscore between names, for compatibility with old package (and also because it makes sense)
src/HOL/Codatatype/Tools/bnf_fp_util.ML src/HOL/Codatatype/Tools/bnf_gfp.ML src/HOL/Codatatype/Tools/bnf_lfp.ML