isabelle: Changelog

haftmann [Wed, 21 Jul 2010 09:46:36 +0200] rev 37897

abstract visualization of locale ingredients; all_locales yields proper locale identifiers

haftmann [Tue, 20 Jul 2010 14:08:47 +0200] rev 37896

tuned

haftmann [Tue, 20 Jul 2010 14:01:06 +0200] rev 37895

accomodate for scope of "as" binding in ML

haftmann [Tue, 20 Jul 2010 10:24:18 +0200] rev 37894

tuned code

haftmann [Tue, 20 Jul 2010 08:54:21 +0200] rev 37893

datatype classes are abstract

haftmann [Tue, 20 Jul 2010 08:54:21 +0200] rev 37892

avoid deprecation

haftmann [Tue, 20 Jul 2010 06:35:29 +0200] rev 37891

robustified metis proof

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

isabelle