2015-03-17 paulson <lp15@cam.ac.uk> [Tue, 17 Mar 2015 12:23:56 +0000] rev 59731
Merge
NEWS src/HOL/Codegenerator_Test/Candidates.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Transcendental.thy

2015-03-16 paulson <lp15@cam.ac.uk> [Mon, 16 Mar 2015 15:30:00 +0000] rev 59730
The factorial function, "fact", now has type "nat => 'a"
NEWS src/HOL/Binomial.thy src/HOL/Decision_Procs/Approximation.thy src/HOL/Library/Formal_Power_Series.thy src/HOL/Library/Permutations.thy src/HOL/MacLaurin.thy src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy src/HOL/NSA/HTranscendental.thy src/HOL/NSA/NSComplex.thy src/HOL/Number_Theory/Primes.thy src/HOL/Number_Theory/Residues.thy src/HOL/Probability/Distributions.thy src/HOL/Probability/Probability_Mass_Function.thy src/HOL/Proofs/Extraction/Euclid.thy src/HOL/Proofs/Extraction/Util.thy src/HOL/Taylor.thy src/HOL/Transcendental.thy src/HOL/ex/Birthday_Paradox.thy

2015-03-17 nipkow [Tue, 17 Mar 2015 09:22:21 +0100] rev 59729
merged

2015-03-17 nipkow [Tue, 17 Mar 2015 09:22:17 +0100] rev 59728
added lemmas
src/HOL/Groups_List.thy src/HOL/List.thy

2015-03-16 traytel [Mon, 16 Mar 2015 23:05:56 +0100] rev 59727
document property
src/Doc/Datatypes/Datatypes.thy

2015-03-16 traytel [Mon, 16 Mar 2015 23:05:56 +0100] rev 59726
BNF relators preserve reflexivity
src/HOL/BNF_Def.thy src/HOL/Lifting.thy src/HOL/Tools/BNF/bnf_def.ML

2015-03-16 blanchet [Mon, 16 Mar 2015 23:00:38 +0100] rev 59725
export more ML functions
src/HOL/Tools/BNF/bnf_comp.ML

2015-03-16 wenzelm [Mon, 16 Mar 2015 17:47:46 +0100] rev 59724
merged

2015-03-16 wenzelm [Mon, 16 Mar 2015 17:26:46 +0100] rev 59723
suppress semantic completion in errors of batch build -- avoid junk in log files;
src/Pure/Tools/build.scala

2015-03-16 blanchet [Mon, 16 Mar 2015 17:02:00 +0100] rev 59722
updated docs
src/Doc/Datatypes/Datatypes.thy