isabelle: Changelog

wenzelm [Wed, 23 Jan 2008 22:57:11 +0100] rev 25948

exceptions: assign result = null properly;

wenzelm [Wed, 23 Jan 2008 22:57:09 +0100] rev 25947

tuned proofs;

wenzelm [Wed, 23 Jan 2008 22:57:07 +0100] rev 25946

recovered #der example without using val it;

haftmann [Wed, 23 Jan 2008 09:57:55 +0100] rev 25945

yet another OCaml fix

haftmann [Tue, 22 Jan 2008 23:07:25 +0100] rev 25944

tuned

haftmann [Tue, 22 Jan 2008 23:07:24 +0100] rev 25943

added map_split

haftmann [Tue, 22 Jan 2008 23:07:21 +0100] rev 25942

added class semiring_div

haftmann [Tue, 22 Jan 2008 23:06:58 +0100] rev 25941

fixed OCaml

haftmann [Tue, 22 Jan 2008 11:37:28 +0100] rev 25940

avoid 'it' in ML expressions

berghofe [Mon, 21 Jan 2008 14:18:49 +0100] rev 25939

Removed Logic.auto_rename.

isabelle