isabelle: Changelog

haftmann [Mon, 19 Jul 2010 20:23:52 +0200] rev 37890

modernized abel_cancel simproc setup

haftmann [Mon, 19 Jul 2010 20:23:49 +0200] rev 37889

keep explicit diff_def as legacy theorem; modernized abel_cancel simproc setup

haftmann [Mon, 19 Jul 2010 20:19:03 +0200] rev 37888

diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq

haftmann [Mon, 19 Jul 2010 16:09:44 +0200] rev 37887

diff_minus subsumes diff_def

haftmann [Mon, 19 Jul 2010 16:09:44 +0200] rev 37886

tuned whitespace

haftmann [Mon, 19 Jul 2010 16:09:43 +0200] rev 37885

dropped essentially ineffective tuning

haftmann [Mon, 19 Jul 2010 16:09:43 +0200] rev 37884

discontinued pretending that abel_cancel is logic-independent; cleaned up junk

haftmann [Mon, 19 Jul 2010 12:17:38 +0200] rev 37883

merged

haftmann [Mon, 19 Jul 2010 12:17:30 +0200] rev 37882

merged

haftmann [Mon, 19 Jul 2010 11:55:44 +0200] rev 37881

distinguish different classes of const syntax

isabelle