isabelle: Changelog

wenzelm [Tue, 07 Nov 2006 19:39:48 +0100] rev 21228

removed obsolete Locale.smart_theorem;

wenzelm [Tue, 07 Nov 2006 19:39:46 +0100] rev 21227

avoid handling of arbitrary exceptions;

schirmer [Tue, 07 Nov 2006 18:25:48 +0100] rev 21226

field-update in records is generalised to take a function on the field rather than the new value.

schirmer [Tue, 07 Nov 2006 18:14:53 +0100] rev 21225

exported intro_locales_tac ----------------------------------------------------------------------

paulson [Tue, 07 Nov 2006 16:21:54 +0100] rev 21224

Proper theorem names at last, no fakes!! Added set_prover function to set various parameters to improve success rate. Fixed the auto settings for E.

haftmann [Tue, 07 Nov 2006 15:07:02 +0100] rev 21223

some corrections

haftmann [Tue, 07 Nov 2006 14:49:09 +0100] rev 21222

adjusted title

isabelle