2016-05-23 wenzelm [Mon, 23 May 2016 14:43:14 +0200] rev 63110
misc tuning and modernization;
src/HOL/Nat.thy

2016-05-23 wenzelm [Mon, 23 May 2016 12:48:24 +0200] rev 63109
proper document source;
tuned proofs;
src/HOL/Wellfounded.thy

2016-05-23 wenzelm [Mon, 23 May 2016 12:18:16 +0200] rev 63108
misc tuning and modernization;
src/HOL/Wellfounded.thy

2016-05-21 nipkow [Sat, 21 May 2016 07:08:59 +0200] rev 63107
merged

2016-05-21 nipkow [Sat, 21 May 2016 07:08:46 +0200] rev 63106
added timing lemmas
src/HOL/Hoare/Examples.thy

2016-05-20 immler [Fri, 20 May 2016 22:01:42 +0200] rev 63105
uniformly continuous function extended continuously on closure
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2016-05-20 immler [Fri, 20 May 2016 21:21:28 +0200] rev 63104
reduce isUCont to uniformly_continuous_on
src/HOL/Limits.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2016-05-20 immler [Fri, 20 May 2016 22:01:39 +0200] rev 63103
removed smt proof
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy

2016-05-20 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 20 May 2016 07:54:54 +0200] rev 63102
better handling of veriT's 'unknown' status
src/HOL/Tools/SMT/smt_solver.ML src/HOL/Tools/SMT/smt_systems.ML

2016-05-18 Manuel Eberl <eberlm@in.tum.de> [Wed, 18 May 2016 12:24:33 +0200] rev 63101
Resolved name clash
src/HOL/Groups_List.thy src/HOL/Probability/Probability_Mass_Function.thy