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

2016-01-18 wenzelm [Mon, 18 Jan 2016 14:59:59 +0100] rev 62197
updated mirrors according to website;
ANNOUNCE README

2016-01-17 nipkow [Sun, 17 Jan 2016 17:56:33 +0100] rev 62196
renamed map_of to lookup
src/HOL/Data_Structures/Map_by_Ordered.thy