isabelle: Changelog

nipkow [Wed, 09 Sep 2009 23:26:34 +0200] rev 32549

minimization: comparing w/ and w/o.

haftmann [Wed, 09 Sep 2009 12:29:06 +0200] rev 32548

merged

haftmann [Wed, 09 Sep 2009 12:24:22 +0200] rev 32547

dropped accidental code additions

haftmann [Wed, 09 Sep 2009 12:27:41 +0200] rev 32546

merged

haftmann [Wed, 09 Sep 2009 12:27:12 +0200] rev 32545

explicit transfer avoids spurious merge problems

haftmann [Wed, 09 Sep 2009 11:31:20 +0200] rev 32544

moved eq handling in nbe into separate oracle

wenzelm [Tue, 08 Sep 2009 18:31:26 +0200] rev 32543

tuned document -- proper text instead of source comments, reduced line length;

Philipp Meyer [Tue, 01 Sep 2009 11:19:49 +0200] rev 32542

fixed cleanup routine in neos csdp script

boehmes [Tue, 08 Sep 2009 09:57:33 +0200] rev 32541

timeout option for ATPs

wenzelm [Mon, 07 Sep 2009 22:13:32 +0200] rev 32540

merged

isabelle