2014-10-24 hoelzl [Fri, 24 Oct 2014 15:07:51 +0200] rev 58776
use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating
NEWS src/HOL/Decision_Procs/Reflected_Multivariate_Polynomial.thy src/HOL/Fields.thy src/HOL/GCD.thy src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy src/HOL/Rings.thy src/HOL/SMT.thy src/HOL/Tools/SMT/z3_replay_util.ML src/HOL/ex/Lagrange.thy

2014-10-24 hoelzl [Fri, 24 Oct 2014 15:07:49 +0200] rev 58775
move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
NEWS src/HOL/HOL.thy

2014-10-23 haftmann [Thu, 23 Oct 2014 16:25:08 +0200] rev 58774
repaired long-standing accident
src/Doc/Tutorial/Inductive/Mutual.thy

2014-10-23 haftmann [Thu, 23 Oct 2014 14:43:51 +0200] rev 58773
explicit definition restores HOL Light import after cb9d84d3e7f2
src/HOL/Import/HOL_Light_Maps.thy

2014-10-23 haftmann [Thu, 23 Oct 2014 14:43:48 +0200] rev 58772
tuned language and spelling
src/HOL/Import/import_data.ML

2014-10-23 haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58771
slight generalization and unification of simp rules for algebraic procedures
src/HOL/Parity.thy

2014-10-23 haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58770
downshift of theory Parity in the hierarchy
NEWS src/HOL/Decision_Procs/Commutative_Ring.thy src/HOL/GCD.thy src/HOL/IMPP/EvenOdd.thy src/HOL/Import/Import_Setup.thy src/HOL/Library/Nat_Bijection.thy src/HOL/Library/Permutations.thy src/HOL/Main.thy src/HOL/NthRoot.thy src/HOL/Parity.thy src/HOL/Word/Misc_Numeric.thy src/HOL/Word/Word_Miscellaneous.thy src/HOL/ex/Fundefs.thy src/HOL/ex/NatSum.thy

2014-10-23 haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58769
parity induction over natural numbers
src/HOL/Parity.thy

2014-10-22 wenzelm [Wed, 22 Oct 2014 23:15:40 +0200] rev 58768
merged

2014-10-22 wenzelm [Wed, 22 Oct 2014 17:34:01 +0200] rev 58767
proper line height and text base line, like regular TextAreaPainter.PaintText;
src/Tools/jEdit/src/completion_popup.scala src/Tools/jEdit/src/pretty_tooltip.scala src/Tools/jEdit/src/rich_text_area.scala