src/HOL/Library/Bit.thy
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