isabelle: Changelog

paulson [Thu, 07 Jan 2016 17:42:01 +0000] rev 62088

merged

paulson [Thu, 07 Jan 2016 17:40:55 +0000] rev 62087

revisions to limits and derivatives, plus new lemmas

Manuel Eberl <eberlm@in.tum.de> [Thu, 07 Jan 2016 14:44:51 +0100] rev 62086

Added formal power series updates to NEWS/CONTRIBUTORS

Manuel Eberl <eberlm@in.tum.de> [Thu, 07 Jan 2016 14:37:17 +0100] rev 62085

Tuned approximations in Multivariate_Analysis

wenzelm [Wed, 06 Jan 2016 16:17:50 +0100] rev 62084

misc tuning for release;

hoelzl [Wed, 06 Jan 2016 12:18:53 +0100] rev 62083

add the proof of the central limit theorem

blanchet [Wed, 06 Jan 2016 13:04:31 +0100] rev 62082

nicer 'Spec_Rules' for size function

blanchet [Wed, 06 Jan 2016 13:04:31 +0100] rev 62081

updated docs

blanchet [Wed, 06 Jan 2016 13:04:31 +0100] rev 62080

updated NEWS

blanchet [Wed, 06 Jan 2016 13:04:30 +0100] rev 62079

more complete setup for 'Rat' in Nitpick

isabelle