isabelle: Changelog

haftmann [Wed, 21 Oct 2009 15:54:01 +0200] rev 33051

more accurate removal

haftmann [Wed, 21 Oct 2009 12:12:21 +0200] rev 33050

merged

haftmann [Wed, 21 Oct 2009 12:09:37 +0200] rev 33049

curried inter as canonical list operation (beware of argument order)

boehmes [Wed, 21 Oct 2009 14:08:04 +0200] rev 33048

merged

boehmes [Wed, 21 Oct 2009 12:19:46 +0200] rev 33047

proper handling of single literal case, added explicit exception, unfolding of distinct respects equal elements, made SML/NJ happy

paulson [Wed, 21 Oct 2009 12:48:28 +0100] rev 33046

Removed the hard-wired white list of theorems for sledgehammer

paulson [Wed, 21 Oct 2009 11:19:11 +0100] rev 33045

merged

paulson [Tue, 20 Oct 2009 16:32:51 +0100] rev 33044

Some new lemmas concerning sets

haftmann [Wed, 21 Oct 2009 12:08:52 +0200] rev 33043

merged

haftmann [Wed, 21 Oct 2009 12:02:56 +0200] rev 33042

curried union as canonical list operation

isabelle