isabelle: Changelog

haftmann [Mon, 17 Dec 2007 17:57:52 +0100] rev 25669

explicit closing of derived witnesses

haftmann [Mon, 17 Dec 2007 17:57:51 +0100] rev 25668

closed rules

haftmann [Mon, 17 Dec 2007 17:57:50 +0100] rev 25667

improved semantics of timeapp_msg

haftmann [Mon, 17 Dec 2007 17:57:48 +0100] rev 25666

improved term syntax

nipkow [Mon, 17 Dec 2007 17:01:54 +0100] rev 25665

removed legacy proofs

krauss [Mon, 17 Dec 2007 11:11:43 +0100] rev 25664

spread NEWS about "induction_scheme" method

kleing [Sun, 16 Dec 2007 22:37:55 +0100] rev 25663

settings for cvs version of poly

wenzelm [Sun, 16 Dec 2007 13:09:37 +0100] rev 25662

tuned comments;

wenzelm [Sun, 16 Dec 2007 13:05:53 +0100] rev 25661

constructor: allow default logic; kill: refer to "isabelle.kill" system property;

wenzelm [Sun, 16 Dec 2007 13:05:07 +0100] rev 25660

constructor: allow default logic;

isabelle