isabelle: Changelog

haftmann [Wed, 11 Nov 2009 15:10:29 +0100] rev 33613

explicit invocation of code generation

haftmann [Wed, 11 Nov 2009 15:10:26 +0100] rev 33612

adding code equations for constructors

haftmann [Wed, 11 Nov 2009 10:06:30 +0100] rev 33611

tuned

boehmes [Wed, 11 Nov 2009 15:43:03 +0100] rev 33610

changed URL of SMT server, added Z3 rewrite lemma

paulson [Wed, 11 Nov 2009 14:04:56 +0000] rev 33609

Added two new lemmas

haftmann [Wed, 11 Nov 2009 09:02:37 +0100] rev 33608

tuned imports

haftmann [Wed, 11 Nov 2009 09:02:20 +0100] rev 33607

tuned

wenzelm [Wed, 11 Nov 2009 00:11:26 +0100] rev 33606

local mutex for theory content/identity operations;

wenzelm [Wed, 11 Nov 2009 00:09:15 +0100] rev 33605

admit dummy implementation;

wenzelm [Tue, 10 Nov 2009 23:18:03 +0100] rev 33604

Toplevel.thread provides Isar-style exception output;

isabelle