isabelle: Changelog

wenzelm [Tue, 06 Nov 2007 20:27:33 +0100] rev 25315

removed dependencies on Size_Change_Termination from HOL-Library;

krauss [Tue, 06 Nov 2007 17:44:53 +0100] rev 25314

moved stuff about size change termination to its own session

haftmann [Tue, 06 Nov 2007 13:12:56 +0100] rev 25313

clarifying comment

haftmann [Tue, 06 Nov 2007 13:12:55 +0100] rev 25312

clarified merge

haftmann [Tue, 06 Nov 2007 13:12:53 +0100] rev 25311

Class.init now similiar to Locale.init

haftmann [Tue, 06 Nov 2007 13:12:52 +0100] rev 25310

CRITICAL force

haftmann [Tue, 06 Nov 2007 13:12:50 +0100] rev 25309

autoquickcheck message

haftmann [Tue, 06 Nov 2007 13:12:49 +0100] rev 25308

added explicit signature

haftmann [Tue, 06 Nov 2007 13:12:48 +0100] rev 25307

simplified specification of *_abs class

wenzelm [Tue, 06 Nov 2007 12:06:30 +0100] rev 25306

tuned;

isabelle