isabelle: Changelog

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;

isabelle