isabelle: Changelog

huffman [Tue, 13 Dec 2011 13:10:25 +0100] rev 45850

add simp rules for bin_sign applied to numerals

huffman [Tue, 13 Dec 2011 13:05:44 +0100] rev 45849

add simp rules for BIT applied to numerals

huffman [Tue, 13 Dec 2011 12:55:36 +0100] rev 45848

declare BIT_eq_iff [iff]; remove unneeded lemmas

huffman [Tue, 13 Dec 2011 12:36:41 +0100] rev 45847

towards removing BIT_simps from the simpset

huffman [Tue, 13 Dec 2011 12:10:43 +0100] rev 45846

type signature for bin_sign

huffman [Tue, 13 Dec 2011 12:05:47 +0100] rev 45845

remove some unwanted numeral-representation-specific simp rules

huffman [Tue, 13 Dec 2011 11:48:59 +0100] rev 45844

remove redundant lemmas

huffman [Tue, 13 Dec 2011 11:26:10 +0100] rev 45843

reorder some definitions and proofs, in preparation for new numeral representation

wenzelm [Tue, 13 Dec 2011 23:22:27 +0100] rev 45842

merged

noschinl [Tue, 13 Dec 2011 22:44:16 +0100] rev 45841

added lemmas

isabelle