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

9 months 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

9 months 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

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

9 months 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

9 months ago paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 16:05:38 +0100] rev 68635
fixes and more de-applying
src/Doc/Tutorial/Types/Numbers.thy src/Doc/Tutorial/document/numerics.tex src/HOL/Analysis/Borel_Space.thy src/HOL/Deriv.thy src/HOL/Transcendental.thy

9 months ago paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 13:15:31 +0100] rev 68634
more de-applying and a fix
src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Deriv.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy src/HOL/Transcendental.thy src/HOL/ex/Gauge_Integration.thy

9 months ago paulson [Sun, 15 Jul 2018 10:41:57 +0100] rev 68633
merged

9 months ago paulson <lp15@cam.ac.uk> [Sun, 15 Jul 2018 10:40:45 +0100] rev 68632
last bit of renaming
src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Tools/Qelim/cooper.ML

9 months ago paulson <lp15@cam.ac.uk> [Sat, 14 Jul 2018 22:32:15 +0100] rev 68631
de-applying
src/HOL/Divides.thy src/HOL/Number_Theory/Quadratic_Reciprocity.thy