src/HOL/Library/Bit.thy
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-11-30 wenzelm 2011-11-30 discontinued obsolete datatype "alt_names";
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-04-26 haftmann 2010-04-26 use new classes (linordered_)field_inverse_zero
2010-04-26 haftmann 2010-04-26 class division_ring_inverse_zero
2009-05-20 haftmann 2009-05-20 eliminated case input syntax on bits
2009-02-26 huffman 2009-02-26 remove unnecessary simp rules
2009-02-19 huffman 2009-02-19 add rule for minus 1 at type bit
2009-02-19 huffman 2009-02-19 add formalization of a type of integers mod 2 to Library