isabelle: Changelog

wenzelm [Tue, 02 Oct 2007 22:23:26 +0200] rev 24815

tuned internal interfaces: flags record, added kind for results; tuned;

wenzelm [Tue, 02 Oct 2007 22:23:24 +0200] rev 24814

inductive: mark internal theorems as Thm.internalK;

wenzelm [Tue, 02 Oct 2007 19:05:20 +0200] rev 24813

tuned;

wenzelm [Tue, 02 Oct 2007 16:06:41 +0200] rev 24812

export tsig_of;

haftmann [Tue, 02 Oct 2007 07:59:55 +0200] rev 24811

clarified role of class relations

haftmann [Tue, 02 Oct 2007 07:59:54 +0200] rev 24810

ignore mutual recursive modules

wenzelm [Mon, 01 Oct 2007 22:52:20 +0200] rev 24809

integer compatibility: added wrapper for structure Time;

wenzelm [Mon, 01 Oct 2007 22:29:58 +0200] rev 24808

fixed use_text;

wenzelm [Mon, 01 Oct 2007 22:29:56 +0200] rev 24807

downgraded IntInf with divMod; fixed use_text;

wenzelm [Mon, 01 Oct 2007 21:19:54 +0200] rev 24806

added auto-quickcheck-time-limit;

isabelle