2015-06-12 haftmann [Fri, 12 Jun 2015 08:53:23 +0200] rev 60430
standardized algebraic conventions: prefer a, b, c over x, y, z
src/HOL/Number_Theory/Euclidean_Algorithm.thy

2015-06-12 haftmann [Fri, 12 Jun 2015 08:53:23 +0200] rev 60429
uniform _ div _ as infix syntax for ring division
NEWS src/Doc/Tutorial/Misc/appendix.thy src/HOL/Complex.thy src/HOL/Divides.thy src/HOL/Enum.thy src/HOL/Groups_Big.thy src/HOL/Import/HOL_Light_Maps.thy src/HOL/Library/Bit.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/Fraction_Field.thy src/HOL/Library/Function_Division.thy src/HOL/Library/Polynomial.thy src/HOL/NSA/StarDef.thy src/HOL/Rat.thy src/HOL/Real.thy src/HOL/Rings.thy src/HOL/Word/Word.thy src/HOL/ex/Arith_Examples.thy src/HOL/ex/Dedekind_Real.thy

2015-06-11 paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 21:41:55 +0100] rev 60428
fixed several "inside-out" proofs
src/HOL/Multivariate_Analysis/Integration.thy

2015-06-11 hoelzl [Thu, 11 Jun 2015 18:24:44 +0200] rev 60427
add transfer theorems for fixed points
src/HOL/Library/Order_Continuity.thy src/HOL/Nat.thy

2015-06-11 paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 00:13:25 +0100] rev 60426
Merge

2015-06-11 paulson <lp15@cam.ac.uk> [Thu, 11 Jun 2015 00:12:27 +0100] rev 60425
tidied more proofs
src/HOL/Multivariate_Analysis/Integration.thy

2015-06-10 wenzelm [Wed, 10 Jun 2015 23:34:23 +0200] rev 60424
misc tuning;
src/HOL/Library/Fundamental_Theorem_Algebra.thy

2015-06-10 wenzelm [Wed, 10 Jun 2015 22:28:56 +0200] rev 60423
misc tuning;
src/HOL/Library/Convex.thy

2015-06-10 wenzelm [Wed, 10 Jun 2015 21:49:02 +0200] rev 60422
unused;
src/Pure/term.ML

2015-06-10 wenzelm [Wed, 10 Jun 2015 20:15:58 +0200] rev 60421
misc tuning;
src/HOL/Multivariate_Analysis/Bounded_Continuous_Function.thy src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy