isabelle: Changelog

blanchet [Mon, 02 Jan 2012 14:32:20 +0100] rev 46073

removed special handling for set constants in relevance filter

blanchet [Mon, 02 Jan 2012 14:26:57 +0100] rev 46072

reintroduced Sledgehammer call taken out by 9bc924006136, with some hints to guide the naive relevance filter

blanchet [Mon, 02 Jan 2012 14:12:20 +0100] rev 46071

killed unfold_set_const option that makes no sense now that set is a type constructor again

nipkow [Mon, 02 Jan 2012 11:54:21 +0100] rev 46070

tuned

nipkow [Mon, 02 Jan 2012 11:33:50 +0100] rev 46069

removed unnecessary lemmas

nipkow [Mon, 02 Jan 2012 10:51:28 +0100] rev 46068

tuned proofs

nipkow [Sun, 01 Jan 2012 18:12:11 +0100] rev 46067

tuned var names

nipkow [Sun, 01 Jan 2012 16:32:53 +0100] rev 46066

tuned argument order

huffman [Sun, 01 Jan 2012 09:27:48 +0100] rev 46065

merged

huffman [Fri, 30 Dec 2011 16:08:35 +0100] rev 46064

add simp rules for bitwise word operations with 1

isabelle