2015-04-11 wenzelm [Sat, 11 Apr 2015 12:47:46 +0200] rev 60010
tuned spelling;
NEWS

2015-04-11 wenzelm [Sat, 11 Apr 2015 12:40:03 +0200] rev 60009
misc tuning for release;
NEWS

2015-04-11 wenzelm [Sat, 11 Apr 2015 12:24:51 +0200] rev 60008
make SML/NJ more happy;
src/HOL/ROOT

2015-04-10 wenzelm [Fri, 10 Apr 2015 23:58:07 +0200] rev 60007
make SML/NJ more happy;
src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML

2015-04-10 wenzelm [Fri, 10 Apr 2015 23:56:41 +0200] rev 60006
tuned;
NEWS

2015-04-10 wenzelm [Fri, 10 Apr 2015 22:53:30 +0200] rev 60005
updated Cygwin near 1.7.35-1;
Admin/components/bundled-windows Admin/components/components.sha1 Admin/lib/Tools/makedist_cygwin

2015-04-10 blanchet [Fri, 10 Apr 2015 19:05:00 +0200] rev 60004
have 'primrec' return definitions
src/HOL/Tools/BNF/bnf_lfp_compat.ML src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML

2015-04-10 blanchet [Fri, 10 Apr 2015 18:23:01 +0200] rev 60003
renamed ML funs
src/HOL/Nominal/nominal_atoms.ML src/HOL/Nominal/nominal_datatype.ML src/HOL/Nominal/nominal_primrec.ML src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML src/HOL/Tools/BNF/bnf_lfp_compat.ML src/HOL/Tools/BNF/bnf_lfp_rec_sugar.ML src/HOL/Tools/Old_Datatype/old_primrec.ML src/HOL/Tools/Quickcheck/random_generators.ML src/ZF/Tools/primrec_package.ML

2015-04-10 blanchet [Fri, 10 Apr 2015 14:44:08 +0200] rev 60002
generalized code a bit
src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML

2015-04-10 blanchet [Fri, 10 Apr 2015 14:03:18 +0200] rev 60001
generalized code
src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML