isabelle: Changelog

webertj [Wed, 04 Oct 2006 11:50:37 +0200] rev 20852

tuned

krauss [Wed, 04 Oct 2006 11:18:39 +0200] rev 20851

Improved error reporting

webertj [Wed, 04 Oct 2006 01:43:57 +0200] rev 20850

nnf_simpset built statically

huffman [Tue, 03 Oct 2006 19:40:34 +0200] rev 20849

rewrite proofs of powser_insidea and termdiffs_aux

huffman [Mon, 02 Oct 2006 23:15:35 +0200] rev 20848

generalize summability lemmas using class banach

haftmann [Mon, 02 Oct 2006 23:01:14 +0200] rev 20847

clarified setup name

haftmann [Mon, 02 Oct 2006 23:01:11 +0200] rev 20846

various code refinements

haftmann [Mon, 02 Oct 2006 23:01:09 +0200] rev 20845

fixed some Haskell issues

haftmann [Mon, 02 Oct 2006 23:01:05 +0200] rev 20844

changed preprocessing framework

haftmann [Mon, 02 Oct 2006 23:01:04 +0200] rev 20843

clarified some things

isabelle