src/HOL/Library/Bit.thy
2010-04-26 ago use new classes (linordered_)field_inverse_zero
2010-04-26 ago class division_ring_inverse_zero
2009-05-20 ago eliminated case input syntax on bits
2009-02-26 ago remove unnecessary simp rules
2009-02-19 ago add rule for minus 1 at type bit
2009-02-19 ago add formalization of a type of integers mod 2 to Library