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
wenzelm [Wed, 06 Jan 2016 11:45:07 +0100] rev 62078
more systematic treatment of dynamic facts, when forming closure;
wenzelm [Wed, 06 Jan 2016 10:20:33 +0100] rev 62077
clarified ROOT files;
wenzelm [Wed, 06 Jan 2016 10:08:09 +0100] rev 62076
proper Pattern.match and corresponding Envir.subst_term, instead of Envir.norm_term of unify-family;
wenzelm [Wed, 06 Jan 2016 00:04:15 +0100] rev 62075
added ML antiquotation @{method};
wenzelm [Tue, 05 Jan 2016 23:28:43 +0100] rev 62074
tuned;
wenzelm [Tue, 05 Jan 2016 22:50:43 +0100] rev 62073
tuned;
wenzelm [Tue, 05 Jan 2016 21:57:21 +0100] rev 62072
isabelle update_cartouches -c -t;
wenzelm [Tue, 05 Jan 2016 21:55:40 +0100] rev 62071
merged
wenzelm [Tue, 05 Jan 2016 21:55:34 +0100] rev 62070
more realistic Eisbach method invocation from ML;
misc tuning and clarification;
wenzelm [Tue, 05 Jan 2016 17:20:56 +0100] rev 62069
unused;
wenzelm [Tue, 05 Jan 2016 17:14:34 +0100] rev 62068
more robust event propagation;
eberlm [Tue, 05 Jan 2016 20:23:49 +0100] rev 62067
Fixed sectioning in HOL/Library/Polynomial
eberlm [Tue, 05 Jan 2016 17:54:21 +0100] rev 62066
Merged
eberlm [Tue, 05 Jan 2016 17:54:10 +0100] rev 62065
Added some facts about polynomials
wenzelm [Tue, 05 Jan 2016 15:53:17 +0100] rev 62064
misc tuning for release;
wenzelm [Tue, 05 Jan 2016 15:45:29 +0100] rev 62063
merged
wenzelm [Tue, 05 Jan 2016 15:40:25 +0100] rev 62062
fewer use of GUI_Thread.now to reduce danger of deadlock on shutdown;
wenzelm [Tue, 05 Jan 2016 15:35:08 +0100] rev 62061
tuned;
eberlm [Tue, 05 Jan 2016 15:38:37 +0100] rev 62060
Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
wenzelm [Tue, 05 Jan 2016 14:25:12 +0100] rev 62059
proper latex setup;
wenzelm [Tue, 05 Jan 2016 13:48:51 +0100] rev 62058
updated headers;