isabelle: Changelog

haftmann [Wed, 04 Oct 2006 14:17:38 +0200] rev 20854

insert replacing ins ins_int ins_string

haftmann [Wed, 04 Oct 2006 14:14:33 +0200] rev 20853

*** empty log message ***

Wed, 04 Oct 2006 11:50:37 +0200 tuned

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

isabelle