isabelle: Changelog

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;

haftmann [Tue, 06 Nov 2007 09:46:05 +0100] rev 25305

added autoquickcheck

haftmann [Tue, 06 Nov 2007 08:47:30 +0100] rev 25304

removed subclass edge ordered_ring < lordered_ring

haftmann [Tue, 06 Nov 2007 08:47:25 +0100] rev 25303

renamed lordered_*_* to lordered_*_add_*; further localization

wenzelm [Mon, 05 Nov 2007 23:17:03 +0100] rev 25302

tuned satisfy_thm;

wenzelm [Mon, 05 Nov 2007 23:17:02 +0100] rev 25301

removed unused compose_hhf, comp_hhf;

isabelle