isabelle: Changelog

krauss [Sat, 27 Dec 2008 17:49:15 +0100] rev 29183

removed duplicate sum_case used only by function package; moved projections; hide (open)

krauss [Sat, 27 Dec 2008 17:35:01 +0100] rev 29182

tuned NEWS; CONTRIBUTORS

krauss [Sat, 27 Dec 2008 17:35:00 +0100] rev 29181

renamed LexOrds.thy to Termination.thy; examples for sizechange method

wenzelm [Sat, 27 Dec 2008 17:09:27 +0100] rev 29180

tuned;

wenzelm [Sat, 27 Dec 2008 16:34:26 +0100] rev 29179

merged

wenzelm [Sat, 27 Dec 2008 16:33:50 +0100] rev 29178

refined execute, which replaces exec/exec2;

wenzelm [Sat, 27 Dec 2008 16:33:19 +0100] rev 29177

maintain initial process environment; refined execute, which replaces exec/exec2; tuned;

haftmann [Sat, 27 Dec 2008 16:28:36 +0100] rev 29176

merged

haftmann [Sat, 27 Dec 2008 16:28:13 +0100] rev 29175

tackling simultaneous val/fun bindings

wenzelm [Sat, 27 Dec 2008 14:57:30 +0100] rev 29174

proper class IsabelleSystem -- no longer static; tuned;

isabelle