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;
wenzelm [Wed, 22 Oct 2014 17:30:58 +0200] rev 58766
tuned imports;
Andreas Lochbihler [Wed, 22 Oct 2014 17:34:19 +0200] rev 58765
merged
Andreas Lochbihler [Wed, 22 Oct 2014 13:58:30 +0200] rev 58764
add print translation for probability notation \<P>
wenzelm [Wed, 22 Oct 2014 17:04:45 +0200] rev 58763
find main command keyword of 'begin';
wenzelm [Wed, 22 Oct 2014 16:44:57 +0200] rev 58762
restricted scanning;
wenzelm [Wed, 22 Oct 2014 11:24:48 +0200] rev 58761
repaired rail diagram (cf. 8450b944e58a);