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
hoelzl [Fri, 24 Oct 2014 15:07:49 +0200] rev 58775
move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
haftmann [Thu, 23 Oct 2014 16:25:08 +0200] rev 58774
repaired long-standing accident
haftmann [Thu, 23 Oct 2014 14:43:51 +0200] rev 58773
explicit definition restores HOL Light import after cb9d84d3e7f2
haftmann [Thu, 23 Oct 2014 14:43:48 +0200] rev 58772
tuned language and spelling
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58771
slight generalization and unification of simp rules for algebraic procedures
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58770
downshift of theory Parity in the hierarchy
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58769
parity induction over natural numbers
wenzelm [Wed, 22 Oct 2014 23:15:40 +0200] rev 58768
merged
wenzelm [Wed, 22 Oct 2014 17:34:01 +0200] rev 58767
proper line height and text base line, like regular TextAreaPainter.PaintText;