isabelle: Changelog

blanchet [Wed, 21 Oct 2009 16:54:04 +0200] rev 33054

fixed the "expect" mechanism of Refute in the face of timeouts

blanchet [Wed, 21 Oct 2009 16:53:00 +0200] rev 33053

removed "nitpick_const_simp" attribute from Record's "simps"; Nitpick has its own notion of a record and doesn't need those.

haftmann [Wed, 21 Oct 2009 15:54:31 +0200] rev 33052

merged

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

isabelle