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

2015-04-10 blanchet [Fri, 10 Apr 2015 12:44:41 +0200] rev 60000
exported function (for symmetry)
src/HOL/Tools/BNF/bnf_lfp_rec_sugar_more.ML

2015-04-10 nipkow [Fri, 10 Apr 2015 12:16:58 +0200] rev 59999
merged
src/HOL/Library/Multiset.thy

2015-04-10 nipkow [Fri, 10 Apr 2015 12:16:45 +0200] rev 59998
renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset
NEWS src/HOL/Library/DAList_Multiset.thy src/HOL/Library/Multiset.thy

2015-04-10 wenzelm [Fri, 10 Apr 2015 11:52:55 +0200] rev 59997
tuned proofs;
src/HOL/Library/Multiset.thy src/HOL/Library/Sublist.thy