2016-01-20 immler [Wed, 20 Jan 2016 13:16:58 +0100] rev 62207
added lemma
src/HOL/Multivariate_Analysis/Derivative.thy src/HOL/Multivariate_Analysis/Integration.thy

2016-01-20 wenzelm [Wed, 20 Jan 2016 00:06:48 +0100] rev 62206
tuned;
src/Doc/Isar_Ref/HOL_Specific.thy

2016-01-19 wenzelm [Tue, 19 Jan 2016 14:00:47 +0100] rev 62205
tuned;
CONTRIBUTORS NEWS

2016-01-19 nipkow [Tue, 19 Jan 2016 11:46:54 +0100] rev 62204
tuned
src/Doc/Main/Main_Doc.thy

2016-01-19 nipkow [Tue, 19 Jan 2016 11:36:09 +0100] rev 62203
merged

2016-01-19 nipkow [Tue, 19 Jan 2016 11:36:02 +0100] rev 62202
added lemma
src/HOL/Library/Tree.thy

2016-01-19 Manuel Eberl <eberlm@in.tum.de> [Tue, 19 Jan 2016 11:19:25 +0100] rev 62201
Added approximation of powr to NEWS/CONTRIBUTORS
CONTRIBUTORS NEWS

2016-01-19 Manuel Eberl <eberlm@in.tum.de> [Tue, 19 Jan 2016 07:59:29 +0100] rev 62200
Made Approximation work for powr again
src/HOL/Decision_Procs/Approximation.thy

2016-01-18 wenzelm [Mon, 18 Jan 2016 16:03:58 +0100] rev 62199
updated polyml;
Admin/components/components.sha1 Admin/components/main Admin/polyml/README

2016-01-18 wenzelm [Mon, 18 Jan 2016 16:03:18 +0100] rev 62198
tuned whitespace;
src/Pure/RAW/exn.ML