15 hours ago paulson [Mon, 16 Jul 2018 23:33:38 +0100] rev 68645 default tip
merged

15 hours ago paulson <lp15@cam.ac.uk> [Mon, 16 Jul 2018 23:33:28 +0100] rev 68644
de-applying and simplifying proofs
src/HOL/Deriv.thy src/HOL/Divides.thy src/HOL/Nonstandard_Analysis/HDeriv.thy src/HOL/Nonstandard_Analysis/HSeries.thy

21 hours ago Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 17:50:07 +0200] rev 68643
Tagged some more files in HOL-Analysis
src/HOL/Analysis/FPS_Convergence.thy src/HOL/Analysis/Generalised_Binomial_Theorem.thy src/HOL/Analysis/Harmonic_Numbers.thy src/HOL/Analysis/Integral_Test.thy src/HOL/Analysis/Summation_Tests.thy

24 hours ago Manuel Eberl <eberlm@in.tum.de> [Mon, 16 Jul 2018 15:24:06 +0200] rev 68642
Made simproc for sqrt/root of numeral more robust
src/HOL/Transcendental.thy

31 hours ago Andreas Lochbihler [Mon, 16 Jul 2018 08:32:27 +0200] rev 68641
merged

39 hours ago Andreas Lochbihler [Sun, 15 Jul 2018 23:44:52 +0200] rev 68640
merged
NEWS src/HOL/ROOT

39 hours ago Andreas Lochbihler [Sun, 15 Jul 2018 23:44:38 +0200] rev 68639
more examples for Code_Lazy
NEWS src/HOL/ROOT src/HOL/ex/Code_Lazy_Demo.thy

40 hours ago paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 21:58:50 +0100] rev 68638
de-applying and meta-quantifying
src/HOL/Analysis/Interval_Integral.thy src/HOL/Deriv.thy src/HOL/Transcendental.thy

44 hours ago paulson [Sun, 15 Jul 2018 18:22:31 +0100] rev 68637
merged

44 hours ago paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 18:22:22 +0100] rev 68636
more renaming fixes
src/Doc/Tutorial/Types/Numbers.thy