Thu, 23 Oct 2014 14:43:51 +0200 explicit definition restores HOL Light import after cb9d84d3e7f2
haftmann [Thu, 23 Oct 2014 14:43:51 +0200] rev 58773
explicit definition restores HOL Light import after cb9d84d3e7f2
Thu, 23 Oct 2014 14:43:48 +0200 tuned language and spelling
haftmann [Thu, 23 Oct 2014 14:43:48 +0200] rev 58772
tuned language and spelling
Thu, 23 Oct 2014 14:04:05 +0200 slight generalization and unification of simp rules for algebraic procedures
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58771
slight generalization and unification of simp rules for algebraic procedures
Thu, 23 Oct 2014 14:04:05 +0200 downshift of theory Parity in the hierarchy
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58770
downshift of theory Parity in the hierarchy
Thu, 23 Oct 2014 14:04:05 +0200 parity induction over natural numbers
haftmann [Thu, 23 Oct 2014 14:04:05 +0200] rev 58769
parity induction over natural numbers
Wed, 22 Oct 2014 23:15:40 +0200 merged
wenzelm [Wed, 22 Oct 2014 23:15:40 +0200] rev 58768
merged
Wed, 22 Oct 2014 17:34:01 +0200 proper line height and text base line, like regular TextAreaPainter.PaintText;
wenzelm [Wed, 22 Oct 2014 17:34:01 +0200] rev 58767
proper line height and text base line, like regular TextAreaPainter.PaintText;
Wed, 22 Oct 2014 17:30:58 +0200 tuned imports;
wenzelm [Wed, 22 Oct 2014 17:30:58 +0200] rev 58766
tuned imports;
Wed, 22 Oct 2014 17:34:19 +0200 merged
Andreas Lochbihler [Wed, 22 Oct 2014 17:34:19 +0200] rev 58765
merged
Wed, 22 Oct 2014 13:58:30 +0200 add print translation for probability notation \<P>
Andreas Lochbihler [Wed, 22 Oct 2014 13:58:30 +0200] rev 58764
add print translation for probability notation \<P>
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip